Formalization of Abstract Rewriting in Lean 4

Touying is a powerful package for creating presentation slides in Typst.

A post-modern modal text editor.

Library implementing type inference/checking functionality based on the Lean theorem prover

Sketch and take handwritten notes.

screen rotation daemon

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…

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

Terraform Provider for healthchecks.io

Generate compile_commands.json for any C or C++ build

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

OpenTofu lets you declaratively manage your cloud infrastructure.

Improve keyboard comfort and usability with advanced customization

The user home repository for the Mathematics in Lean tutorial.

A 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.