Vim like marks for Aerospace WM

Proofs for Extensible Data Types with Ad-Hoc Polymorphism

Keymapper config to make Linux keyboard shortcuts work like a 'Tosh! And more. (A Kinto alternative.)

Sort your tabs using Firefox's local AI but make it look awesome! Includes ATG install.

Rocqet proof language

Node.js cli tool for monitoring your favorite TooGoodToGo businesses. Docker image and HomeAssistant addon available.

The rule-set convertor for sing-box.

rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.

🐦‍⬛ Unstyled, accessible and customizable UI primitives for SolidJS

An ott-like DSL embedded in Lean.

A fast directory-first photo gallery website, with rich UI, optimized for running on low resource servers (especially on raspberry pi)

librime for iOS App

A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search

Rust based package manager for macOS

Weighs the soul of incoming HTTP requests to stop AI crawlers

Python Client for the Lunch Money Developer API

Generate nix sources expr for the latest version of packages

Nix overlay for Lean 4, and lake2nix

AeroSpace is an i3-like tiling window manager for macOS

System restore tool for Linux. Creates filesystem snapshots using rsync+hardlinks, or BTRFS snapshots. Supports scheduled snapshots, multiple backup levels, and exclude filters. Snapshots can be re…

MDX support for SolidJS

Metamath Zero specification language

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

The Brown Benchmark for Table Types (B2T2)

An extremely fast LaTeX formatter written in Rust

Typst blog template based on Zola, typst.ts, and apollo.

A lecture notes template in Typst.

A proof assistant for higher-dimensional type theory