Functional programming with fewer indirections

Dependent type checker using normalisation by evaluation

Docmost is an open source collaborative documentation and wiki software. It is an open-source alternative to the likes of Confluence and Notion.

A list of Reverse Engineering articles, books, and papers

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

🔥 Turn entire websites into LLM-ready markdown or structured data. Scrape, crawl and extract with a single API.

Embedded drawing tool for Emacs

Software for knitting

A proof assistant for higher-dimensional type theory

A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"

The Racket repository

Cross-platform GUI written in Rust using ADB to debloat non-rooted android devices. Improve your privacy, the security and battery life of your device.

Exported, Nix-based monorepo tooling from TVL. In use for our repo at https://code.tvl.fyi

haskell source code visualizer

A really small example of the Backpack module system for Haskell

Make a click sound when emacs does garbage collection

A TUI Git client inspired by Magit

A Language with Dependent Data and Codata Types

Collection of image builders [maintainer=@Lassulus]

An open-source Shazam client for Linux, written in Rust.

1D + 1D = 2D

Generative infrastructure for Python

Cross-platform, fast, feature-rich, GPU based terminal

ESUP - Emacs Start Up Profiler

Easy dependency management for Nix projects

Fancy logos for Emacs/XEmacs/GNUs

stb single-file public domain libraries for C/C++

A truly naked, brutalist html quine

An agda2hs-compatible library for well-scoped syntax

DNS over HTTPS / DNS over Tor / DNSCrypt client, WireGuard proxifier, firewall, and connection tracker for Android.