Forked from https://github.com/opt-pan/penpa-edit to provide English translations

Mid-level client library for accessing PostgreSQL from Haskell

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

Run arbitrary commands when files change

hello world experiment in nim and karax

priority semaphore

Version control for databases: save, restore, and archive snapshots of your database from the command line

An Extended Version of the Compiler for Elm, a functional language for reliable webapps.

A minimal note taking app build over Github Pages

Gel supercharges Postgres with a modern data model, graph queries, Auth & AI solutions, and much more.

REST API for any Postgres database

Playing and editing puzzles by Javascript

command line pastebin for google appengine

Pure Go SQLite file reader

Stable Haskell package sets: vetted consistent packages from Hackage

Rasterific backend for diagrams

Diagrams standard library

Go implementation of EDN (Extensible Data Notation)

Simple browser MPD client

Convert Elm project into Nix expressions

Privacy Badger is a browser extension that automatically learns to block hidden trackers

Minimalist pointer events polyfill

RSS feeds of stable release versions, as found in Wikipedia.

Read Postgres schema definitions in Go.

Alternative Go JSON parser