Stars
Cloudflare operates hundreds of nameservers, here is a list of all of them.
PipeWire Guide. Learn about how PipeWire gives your Linux system a Professional Audio/Video Processing workflow.
Run macOS, Windows and more via a single Nix command, or simple nixosModules
Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using …
Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64.
imperfect programming language
A new markup-based typesetting system that is powerful and easy to learn.
Resurrecting Lennart Augustsson's implementation of Cayenne
A small, weird and unpractical programming language.
Stabilizer: Rigorous Performance Evaluation
A lightweight TUI (ncurses-like) display manager for Linux and BSD (mirror of https://codeberg.org/fairyglade/ly).
Translate Cabals Generic Package Description to a Nix expression
Haskell library for building declarative animations based on SVG graphics
Open singing synthesis platform / Open source UTAU successor
Animated sprite editor & pixel art tool (Windows, macOS, Linux)
A Haskell kernel for the Jupyter project.
The strongly hyped Haskell interpreter.