A beautiful, non-destructive, and GPU-accelerated RAW image editor built with performance in mind.

Advent of code solution programs.

An extension for PostgreSQL that allows embedded Haskell code.

A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

Fast Aho-Corasick string searching

egg is a flexible, high-performance e-graph library

Kopernicus is a mod for Kerbal Space Program which allows users to replace the planetary system used by the game.

Galileo's Planet Pack

Convert scans of handwritten notes to beautiful, compact PDFs

The x86 processor fuzzer

Implementation of monotone frameworks in Agda

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

🔥 Save Your Code in an Emergency