Stars
A place for public review of the posix port of stage0
A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.
A durable, distributed, multiplayer coding agent built on the BEAM.
eBPF Information Flow Enforcement for AI Agent safety, security and effectiveness
Cross-platform multi-protocol VPN software. Pull requests are welcome. The stable version is available at https://github.com/SoftEtherVPN/SoftEtherVPN_Stable.
Capability-oriented version of the Rust standard library
compact roughtime client implementation in C for embedded use
AeneasVerif / aeneas
8000A verification toolchain for Rust programs
Worktrunk is a CLI for Git worktree management, designed for parallel AI agent workflows
An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] support)
JavaCard implementation of FROST threshold signature scheme relying only on public JavaCard API.
Bitkey is a self-custody bitcoin wallet with an app, hardware, and recovery tools.
weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.
The Core Flight System (cFS) Operating System Abstraction Layer (OSAL)
Torch implementation of neural style algorithm
Plasma is an interactive disassembler for x86/ARM/MIPS. It can generates indented pseudo-code with colored syntax.