Starred repositories
R3-OS — Experimental static RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Debug Adapter Protocol client implementation for Neovim
Library to analyze and collect metrics on source code
x86 architecture concurrency model litmus tests
ANTLR v4 grammar-based test generator
Automatic verification of LLVM optimizations
A machine-learning extension that provides statistical proof hints during the process of Coq/SSReflect proof development.
Benchmark Rust f64-to-string conversion libraries
45 tips for getting the most out of Claude Code, from basics to advanced - includes a custom status line script, cutting the system prompt in half, using Gemini CLI as Claude Code's minion, and Cla…
Improve keyboard comfort and usability with advanced customization
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.
ChatGPT Neovim Plugin: Effortless Natural Language Generation with OpenAI's ChatGPT API
Julia package for loop invariant generation
Spec-driven development (SDD) for your team's workflow. Kiro style commands that enforce structured requirements→design→tasks workflow and steering, transforming how you build with AI. Support Clau…
📚 List of awesome university courses for learning Computer Science!
A website containing a bibliography for non-well-founded and cyclic proof theory
A thin-hypervisor that runs on aarch64 CPUs.
A dark, low-contrast, grayscale, Vim colorscheme