velveteer

AirGQL

Automatically generate a GraphQL API for an SQLite database

abseil-cpp

Abseil Common Libraries (C++)

purebred-email

A fast email parsing library implemented in Haskell

gnostic

A compiler for APIs described by the OpenAPI Specification with plugins for code generation and other API support tasks.

hfsnotify

Unified Haskell interface for basic file system notifications

wild

protobuf

Protocol Buffers - Google's data interchange format

protocol-buffers

Haskell protocol-buffers package

proto3-suite

Haskell Protobuf Implementation

free-foil

Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).

liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

type-inference-example

Full Example Type Inference Implementation for thunderseethe.github.io

surreal

🗿 Mini jQuery alternative. Dependency-free animations. Locality of Behavior. Use one element or arrays transparently. Pairs with htmx. Vanilla querySelector() but better!

indexHaddock

Create an index of local Haddock files

contra

A friendly functional language for finding counterexamples 🎯

js-spread-grid

JS library for creating high-performance grid-based applications

roc-awesome

Awesome Roc

floating-ui

A JavaScript library to position floating elements and create interactions for them.

basic-webserver

A basic webserver in Roc

figsynth

Polygonal synthesizer

hs-err

Set vim errorformat &c. for Haskell files

TaPL-in-PureScript

The PureScript implementation for the *Types and Programming Language* by B. Pierce

hvega

Create Vega-Lite visualizations from Haskell.

strongweak

Convert between strong and weak representations of types

rerefined

Refinement types in Haskell, again

cobalt

Cobalt is a lightweight HTML5 application container

hs-bindgen

musicat

A sleek desktop music player and tagger for offline music 🪕 With experimental features like map view, GPT analysis, artist toolkit. Built with Svelte and Tauri

analytics

Simple, open source, lightweight (< 1 KB) and privacy-friendly web analytics alternative to Google Analytics.

DreamBerd

perfect programming language