randombit

lila

♞ lichess.org: the forever free, adless and open source chess server ♞

codon

A high-performance, zero-overhead, extensible Python compiler using LLVM

gitoxide

An idiomatic, lean, fast & safe pure Rust implementation of Git

binaryen

Optimizer and compiler/toolchain library for WebAssembly

tracing

Application level tracing for Rust.

cozo

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

cargo-bloat

Find out what takes most of the space in your executable.

gloo

A modular toolkit for building fast, reliable Web applications and libraries with Rust and WASM

derive_more

Some more derive(Trait) options

snmalloc

Message passing based allocator

the-power-of-prolog

Introduction to modern Prolog

concrete

Concrete: TFHE Compiler that converts python programs into FHE equivalent

austral

Systems language with linear types and capability-based security.

steel

An embedded scheme interpreter in Rust

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

pyrs

Python to Rust transpiler

juvix

A language for intent-centric and declarative decentralised applications

procfs

Rust library for reading the Linux procfs filesystem

centipede

fhe.rs

Fully Homomorphic Encryption library in Rust

embedded-tls

An Rust TLS 1.3 implementation for embedded devices.

sphincsplus

The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project

marwood

An embeddable Scheme R7 Compiler & Runtime written in Rust

opsec

Counter Surveillance and OPSEC research

jonashietala

Source code for my personal homepage

zkcreds-rs

testudo

Testudo: Spartan + Groth16

dilithium-py

A pure python implementation of CRYSTALS-Dilithium

simple-process-stats

A small Rust library to get memory usage and elapsed CPU time.

rust-tpm2

Rust native library for TPM 2.0 operations. Heavily work in progress.