The Linux perf GUI for performance analysis.

high abstraction synthesis

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

A thin wrapped on top of LMDB with minimum overhead

Source code for SonoBus, a real-time network audio streaming collaboration tool.

Wadler-style pretty-printing combinators in Rust

Async-friendly QUIC implementation in Rust

Collection of techniques for (binary) string searching

A Python package for barycentric rational and polynomial interpolation and approximation.

KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisection based partitioning algorithms that compute solutions of …

Main repository of the zim desktop wiki project

A pure Rust linear programming solver

bsp visibility precomputer, but in Rust

Metamath Zero specification language

A handy tool for doing efficient in-memory commit rebases & fixups

The Elegant Parser

Watches over your Cargo project's source.

DRAT/DPR proof checker

Create book from markdown files. Like Gitbook but implemented in Rust

An advanced SAT solver

FLINT (Fast Library for Number Theory)

Haskell 2D graphics / visualization library

Super Nintendo development cartridge