Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.

Bananas🍌, Cross-Platform screen 🖥️ sharing 📡 made simple ⚡.

Making learning sh*t less annoying

We're living in Obfustopia

Lova: A Framework for Verifying Mathematical Proofs with Nova

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

zig nifs in elixir

macOS cross compiler toolchains

Guide and files required to setup lineageos with microg on the Unihertz Titan

Compile time numbers in Rust.

Entropy Based Sampling and Parallel CoT Decoding

Ethereum consensus client in Rust

Inverse and determinant trait for ndarray Array2

A homomorphic hash function

Chess, and Fog of War Chess implemented in Aztec's ZK circuit language: Noir.

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

Rust language bindings for Bitcoin secp256k1 library.

Wrangling Untrusted File Formats Safely

Typestate interface for revm

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…

Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.

A paper of Octopus contracts, smart contracts that operate ciphertexts outside the blockchain using signature-based witness encryption.

A statically typed language compatible with Python

Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatc…

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

Small TS library to type and safely handle `serde` JSON serializations of Rust enums.

Toy typechecker for Insanely Dependent Types