The math library of Lean 4

Lean 4 programming language and theorem prover

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

Define compiler intermediate representation usable by external tools

Userspace eBPF runtime for fast Uprobe & Syscall hook & Extensions with LLVM JIT

Pattern matching and exhaustiveness checking algorithms implemented in Rust

A Language Server for Postgres

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Tarantool Rust SDK

Edit and review GitHub issues and pull requests from the comfort of your favorite editor

DSLCad is a programming language & interpreter for building 3D models.

Safe cross-platform linker shenanigans

Cosette is an automated SQL solver.

Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)

Agda bindings to SMT-LIB2 compatible solvers.

Minimal and opinionated eBPF tooling for the Rust ecosystem

Propositional logic with types in Rust

A very compact representation of a placeholder for an image.

A Rust library providing pretty hex dump.

Neovim's answer to the mouse 🦘

Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic an…

agda-mode on VS Code

A research project in path semantics, a re-interpretation of functions for expressing mathematics

Propositional logic with exponentials

audible feedback on just how much your browsing feeds into google

Automatic checking for semantic versioning in library crates

Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers

Pre-defined Compiler Macros wiki

cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code