The Lean reference manual

The Piantor Keyboard is a beginner-friendly, easy-to-solder, 42-key or 36-key, diodeless, low profile aggressive column staggered, hotswappable and non-hotswappable, programmable ergonomic mechanic…

NixOS on WSL [maintainer=@nzbr]

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Terraform Provider for healthchecks.io

Bear is a tool that generates a compilation database for clang tooling.

Set up your GitHub Actions workflow with elan and/or a specific version of Lean

Tailscale Android Client

The easiest, most secure way to use WireGuard and 2FA.

An open source, self-hosted implementation of the Tailscale control server

Relative positioning by pins, especially useful for making slides in typst.

JetBrains Mono – the free and open-source typeface for developers

The Ott tool for writing definitions of programming languages and calculi

A tree-sitter implementation for the ott language.

Fuzzy type search for OCaml documentation

Mathlib search tool

A Simple Argument Parser for C++

💻 C++ Functional Terminal User Interface. ❤️

OpenTofu lets you declaratively manage your cloud infrastructure.

Improve keyboard comfort and usability with advanced customization

Third re-build of STA410 Statistical Computation / STA2102 Computational Techniques in Statistics

The user home repository for the Mathematics in Lean tutorial.

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

Lean 4 programming language and theorem prover

Natural Number Game

General purpose Language Server

A modern alternative to ls

Run unpatched dynamic binaries on NixOS [maintainer=@Mic92]

Fuse filesystem that returns symlinks to executables based on the PATH of the requesting process.

Koka language compiler and interpreter