Metamath Zero specification language

A proof assistant and a dependently-typed language

A proof assistant for higher-dimensional type theory

Minimal implementations for dependent type checking and elaboration

Staged compilation with dependent types

Eventually a practical 2-level TT-based compiler

A collaborative environment for formal, interoperable, conceptual modeling

The Flix Programming Language

Github repository for compositional category theory reading group

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

Automatic validation contexts

Because there weren't enough of these packages already

AllocCheck

AllocCheck

Toolkit for Scala Development

A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.

Picking and pointer events for Bevy

Irmin is a distributed database that follows the same design principles as Git

Scientific computing in Lean 4

An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning a…

A graphical editor for graph-like structures

Lightning-fast and Powerful Code Editor written in Rust

Simple, expressive, and safe UI library for Scala.js

An FP game engine for Scala.

Web mail of your own

Relational Algebra, now with more algebra!