jix

hotspot

The Linux perf GUI for performance analysis.

fold

high abstraction synthesis

CreuSAT

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

smolheed

A thin wrapped on top of LMDB with minimum overhead

sonobus

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

pretty.rs

Wadler-style pretty-printing combinators in Rust

quinn

Async-friendly QUIC implementation in Rust

stringsearch

Collection of techniques for (binary) string searching

baryrat

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

pandoc-ast

rust-pandoc

gn-ttgen

kahypar

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

zim-desktop-wiki

Main repository of the zim desktop wiki project

minilp

A pure Rust linear programming solver

yvis

bsp visibility precomputer, but in Rust

mm0

Metamath Zero specification language

git-revise

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

pest

The Elegant Parser

cargo-watch

Watches over your Cargo project's source.

rate

DRAT/DPR proof checker

mdBook

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

cryptominisat

An advanced SAT solver

flint

FLINT (Fast Library for Number Theory)

Craftwerk

Haskell 2D graphics / visualization library

quickdev16

Super Nintendo development cartridge