Repository Index

Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.

• autodiff
• deep-learning
• machine-learning
• rust

Count your code, quickly.

• tokei
• cloc
• badge
• rust

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

• ai-native
• description-logics
• knowledge-graph
• mcp

Creusot helps you prove your Rust code is correct.

• rust-lang
• verification
• proof
• formal-verification

This library provides implementations of many algorithms and data structures that are useful for bioinformatics. All provided implementations are rigorously tested via continuous integration.

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 and scalable private network experiments using your laptop, desktop, or server running Linux.

• emulation
• simulation
• networking
• experimentation

Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.

• cryptography
• post-quantum
• rust
• vpn

One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.

• cae
• cfd
• computational-mechanics
• explicit-dynamics