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…

Command line tool to flatten XML into a line-oriented, greppable format

Web components made simple and declarative

📖 The power of CSS typesetting, right at your fingertips.

Fast SQL-only data application builder. Automatically build a UI on top of SQL queries.

A modern supercompiler for call-by-value functional languages

Load documents into CouchDB/PouchDB from a dumpfile

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

An open source multi-tool for exploring and publishing data

ergonomic and precise error handling built atop type-level set arithmetic

Shrinkray is a modern multi-format test-case reducer

Command-line sampling profiler for macOS, Linux, and Windows

Binary json codec optimized for in-place access

A markup-based typesetting system that is powerful and easy to learn.

Nix Packages collection & NixOS

Verneuil is a VFS extension for SQLite that asynchronously replicates databases to S3-compatible blob stores.

sqlite3 in ur indexeddb (hopefully a better backend soon)

Counting the collisions with perl hash tables per function

Hosting read-only SQLite databases on static file hosters like Github Pages

A programming language based on a 2D Hilbert curve grid

Freeciv is a Free and Open Source empire-building strategy game inspired by the history of human civilization. Upstream repository for the standalone Freeciv client and server. Report bugs and subm…

A dependently typed programming language, a successor to Idris

Parsing, analyzing, and comparing source code across many languages

Music typeset with the Lilypond system

High performance type safe html generation

Relation algebra library for Coq

Combinators for Strategic Programming

Testing framework for Purescript

Trill is a single-node query processor for temporal or streaming data.