voidc - Overview
Skip to content
Sign in
AI CODE CREATION
GitHub CopilotWrite better code with AI
GitHub SparkBuild and deploy intelligent apps
GitHub ModelsManage and compare prompts
MCP RegistryNewIntegrate external tools
View all features
Sign up
I like systems programming, compilers, and automated reasoning.
A Rust library for onion routing.
Rust 21
Creusot helps you prove your code is correct in an automated fashion.
Rust 1.5k 70
Empowering everyone to build reliable and efficient software.
Rust 111k 14.6k
Bloxberg is an experimental TUI-based hex editor written in Rust.
Rust 1
A PoC for using the new seccomp-notif Linux feature from Rust.
Rust 2
A customizable proxy for overlaying interactive icons on VNC connections.
Rust