Modern CSS parser in pure Haskell built on Alex+Happy stack

`linear-locks` provides locking primitives that are statically guaranteed to be free of deadlocks.

Haskell library for writing Discord bots

A little language inspired by Rust that compiles to Go

A docker-compose like tool for Apple Container

Croissant is a high-level format for machine learning datasets that brings together four rich layers.

A pure Haskell (no libpq) postgresql driver that draws inspiration from postgresql-simple, has streaming built into its core, speaks postgresql's binary protocol, has pipelining, interruption safet…

Makes json logs possible to read by humans. Supports systemd journal.

A modern step-through debugger for GHC Haskell

Tailscale Sidecar Configurations for Docker

Trusted builds made easy! A cloud-native software factory for building, testing, and releasing trusted software artifacts

A grammar based feedback Fuzzer

Security-oriented Go toolchain, focused on state-of-the-art fuzzing capabilities.

HTTP/3 library in Haskell

A grep-like tool which understands source code syntax and allows for manipulation in addition to search

Supporting code for our MSFP'26 paper: Effects with Variable Binding

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

Yet Another Validation for Java (A lambda based type safe validation framework)

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

literate programming meets unison

Demo of additive blending on the N64 without overflow

RSPL - High-Level Language for the N64's RSP

Open source library for N64 development.

A real-time by default web template/framework for use with SurrealDB

Web Framework for Pharo Smalltalk

Intervals of ordered types, and their monoids under union and intersection.

A tiling window manager for Windows 🍉

Fork of Plan 9 meant for education. https://principia-softwarica.org/