TypeDB: one giant leap for databases

A cross-platform driver for Tauri in Haskell

The Lobster Programming Language

Examples of polyvariadic functions in Haskell.

Algebraic graphs

A structured concurrency library

Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library

RobotQuest is a MMO, programming game. Instead of playing RobotQuest directly, you write a program that plays it for you. Your program communicates with the game server API over HTTP by sending and…

Haskell interactive serverside web framework inspired by HTMX

Typed HTML with simplified layout, and easy composable styles. Inspired by Tailwindcss and Elm UI

An htmx extension that allows to select and swap existing elements.

An optimized pattern matching library for Clojure

Haskell + Lisp

Lightweight and composable servers for Haskell

A powerful little TUI framework 🏗

A library for mono-, di- and bi- recursion schemes.

Resource gathering + programming game

Contactless EMV credit card reader

Data interchange with algebraic data types.

Inpla: Interaction nets as a programming language (the current version)

Lean theorem proving interface which feels like pen-and-paper proofs.

The unfairly fast embedded nostr database backed by lmdb

Koka language compiler and interpreter

A zero-knowledge Lean4 compiler and kernel

Internet communities that pay you Bitcoin

Extensible Data Notation

Haskell plugin-based framework for any type of applications

Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.

Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcap…

Expression language and expression evaluation for Go