Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions

A visualization library for Rust

A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.

Demo for high-performance type theory elaboration

UCI chess engine

Improve your Baduk skills by training with KataGo!

LattE integrale, software for counting lattice points and integration over convex polytopes

A Rust compiler front-end for IDEs

A free and strong UCI chess engine

A formal proof of the independence of the continuum hypothesis

Online introspection for Rust

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

[WIP] Transpile Rust (MIR) to JavaScript.

The HTML Presentation Framework

Algebraic structure and emulation of higher kinded types for Rust

rust verification condition generator

C to Rust translator

Empowering everyone to build reliable and efficient software.

Succinct vectors

Ray-tracer implemented in Rust

Haskell plugin for IntelliJ IDEA

Angewandte Funktionale Programmierung