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 list of AI agents and robots to block.

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

Read Japanese manga inside browser with selectable text.

Terraform GitHub provider

Executes commands in response to file modifications —— Maintenance status: on hold. I have no time for OSS currently; back late 2024.

Cloudflare Terraform Provider

Terraform provider for Namecheap