Alexander Grothendieck's 1972 talk at CERN, on scientific research

A massively parallel, high-level programming language

Slotmap data structure for Rust

VSCode support for Forester

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Mirror of ocaml-forester

My mathematical Zettelkasten, created using forester.

Typed distributed plugin registration

A massively parallel, optimal functional runtime in Rust

Minimal implementations for dependent type checking and elaboration

H.O.T.T. using rewriting in Agda

A modern proof language

Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C

A post-modern modal text editor.

Rust bindings to KaTeX

Creusot helps you prove your code is correct in an automated fashion.

Run your GitHub Actions locally 🚀

being an operating system for typechecking processes

Slides and handwritten notes on the course on models of programming languages

😎TT

A core language and API for dependently typed languages

Entity Component System focused on usability and flexibility.

Multi-backend renderer with asset pipeline. The objective of this repo is to build a scalable, flexible, data driven renderer.

Atomic `dbg`/`eprintln`/`eprint` macros

mawww's experiment for a better code editor

Write expressive, high-performance parsers with ease.

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Message passing based allocator

Algebraic proof discovery in Agda

Mold: A Modern Linker 🦠