Stories by adamnemecek

Haskell Compiler Written in Rust

RZK: Experimental proof assistant for synthetic ∞-categories

RZK: Experimental proof assistant for synthetic ∞-categories

Go game formal revealing by Ising model (2017)

MIT 18.06 Spring 2023 Linear Algebra Source Code

An introduction to optimization on smooth manifolds

Malachite: Arbitrary-precision arithmetic library for Rust (like GMP and FLINT)

Verso: Modern Binary Program Analysis in Rust

Pgvecto.rs: Vector database plugin for Postgres in Rust

FemtoGPT: Minimal GPT Implementation in Rust

Hydroflow: Dataflow Runtime in Rust

Polynomial Functors: A General Theory of Interaction

Higher-Dimensional Type Theory (2020)

Hypervis: 4D Renderer and Physics Engine in Rust

Power series, power serious: Talk by Doug McIlroy (2007) [video]

Primate City

ZX-Calculus Simulator in the Browser

Domain-Specific Languages of Mathematics

Maths from Nothing: Numerical Mathematics

HepLib: C++ library for computations in High Energy Physics

1
2
3
4
5
6
7
8
9
10