TopoBench is a Python library designed to standardize benchmarking and accelerate research in Topological Deep Learning

Constructive Lean. As of April 1st, 2026, this is the canonical repository for Lean 4 development.

Customize Claude Code's system prompts, create custom toolsets, input pattern highlighters, themes/thinking verbs/spinners, customize input box & user message styling, support AGENTS.md, unlock pri…

Create custom HTML (Hyper Turtle Markup Language) elements with ease!

Liteqube - put Qubes OS on a diet

Unsafely fast hashing algorithm 📈

📧 CLI to deduplicate mails from mail boxes

An advanced keyboard manager

Set PL1 and PL2 power limits for modern Intel processors running on Linux

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

A massively parallel, optimal functional runtime in Rust

Total Parser Combinators in Agda

Don't Fear the Profunctor Optics!

Invertible parsing for S-expressions

An attoparsec roundtrip

Bidirectional Parsing. Work in Progress

Bidirectional programming in Haskell with monadic profunctors

An OCaml/Mirage-friendly implementation of the 9P protocol

A collection of resources for learning type theory and type theory adjacent fields.

Schedule your day visually, using timeblocking technique inside Emacs

The Arduino code for the Light APRS used for the space mission.

Liteqube - put Qubes OS on a diet - for Qubes 4.2 and Debian 12

The Distributed Specification

Sioyek is a PDF viewer with a focus on textbooks and research papers

Some example SALT states for Qubes. We are trying to merge these into Qubes.

Simple asset tracking software built with Python and SQL

Quantitative User-friendly Adaptable Networked Things Abstract Simulator

An interface to communicate with Jupyter kernels.