Verified GPU programming framework for Lean 4. Write type-safe WebGPU shaders with formal verification, hardware-accelerated matrix ops, and cross-platform support (Metal/Vulkan/D3D12). Build prova…

Janet bindings to Botan

Fast Rust library for PDF inspection, classification, and text extraction. Intelligently detects scanned vs text-based PDFs to enable smart routing decisions.

A high-throughput blockchain built on commonware primitives.

A modern X11 server written from scratch in Rust.

Machine-checked functional-correctness proof of an RFC 8391 WOTS+ C implementation (WOTSP-SHA2_256), using VST on Rocq 9.0 + CompCert.

Formalization of C++ for verification purposes.

An open source TI-99 emulator with open source ROMs and tooling

Postgres rewritten in Rust, now faster than Postgres and Clickhouse

Binary Proofs, Blazing Fast

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

A Dolev-Yao-model-guided fuzzer for TLS

Git at scale platform

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

A cryptographic framework for building collaborative applications over an untrusted server. Research prototype.

Streaming replication for SQLite.

SSH for Rust, no_std and elsewhere

jose – JSON Object Signing and Encryption (header-only, C++20)

Reticulum Networking Stack implementation written in Rust

LoTRS: Practical Post-Quantum Structured Threshold Ring Signatures from Lattices

Testvectors

Cpp2Rust: Automatic Translation of C++ to Safe Rust

A kernel designed to run one and only one application in a virtualized environment

Build and query a graph database representation of source code

A fast, power efficient, native Reticulum stack for embedded microcontrollers.

Fast, smart file search with fuzzy matching and natural language queries

Constant integer division faster than compiler-generated code

DRAMSys a SystemC TLM-2.0 based DRAM simulator.

A 3D raycasting engine running inside a TrueType font's hinting virtual machine