🌙 LunarVim is an IDE layer for Neovim. Completely free and community driven.

Library for validated numerics using interval arithmetic

System-wide Lean input method

Ground Zero: Lean 4 HoTT Library

These integer types use checked arithmetic, otherwise they are as system types.

CoxIter is a computer program designed to compute invariants of hyperbolic Coxeter groups.

Formatted output of timed sections in Julia

Computational algebraic number theory