a ML-style programming language based on the calculus of inductive constructions type theory

Zero-cost rescript bindings to the WHATWG Fetch API

Elm REPL Worker

Constraint satisfaction problem (CSP) solvers for Haskell

Haskell port of the Nanopass Compiler Framework

🚀 The easiest, free and open-source Tailwind CSS component library with semantic classes.

Type-Level Binary Search Tree in Haskell

OpenAPI 3.0 data model

OpenAPI 3.0 for Servant

Taiga is a free and open-source project management for cross-functional agile teams.

Open source DocuSign alternative. Create, fill, and sign digital documents ✍️

flashcard TUI with markdown cards

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

High-performance JSON parser

Haskell time library focusing on performance

Chess analysis GUI for UCI engines, with extra features for Leela (Lc0) in particular.

PostgreSQL extension providing JSON Schema validation

effectful bindings for postgresql

AeroSpace is an i3-like tiling window manager for macOS

An elegant Go board and SGF editor for a more civilized age.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

npm create rescript-app@latest

Search engine for the gleam ecosystem! Search across the entire gleam ecosystem!

An interactive TypeScript repo on advanced patterns (WIP)

Kaitai Struct: compiler to translate .ksy => .cpp / .cs / .dot / .go / .java / .js / .lua / .nim / .php / .pm / .py / .rb

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