A markup-based typesetting system that is powerful and easy to learn.

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

💫 Extensible UI for Neovim notifications and LSP progress messages.

Automatically backup your GitHub repositories

Nix flake for a fully declarative NixOS on Raspberry Pi

Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Truly independent web browser

A proof assistant for higher-dimensional type theory

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. Moved to sourcehut.

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 Rust code is correct.

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