The property-based testing library for Python

Document and enforce your service architecture

🃏 Klondike solitaire in miso

pyHanko: sign and stamp PDF files

Property-based testing for Haskell, built on Hypothesis.

A Model Context Protocol (MCP) server that enables AI assistants to control Keynote presentations through AppleScript automation.

Haskell implemented with combinators

♟️ The game of chess

Analyze the dependencies of your Elm projects. Simply upload elm.json.

A Claude skill and a command line tool to interface smt solvers using natural language

A terminal based mail user agent based on notmuch

A Nintendo Game Boy and Game Boy Color emulator in Haskell λ 🎮

🌸 A command-line fuzzy finder

SQL-first, type-safe PostgreSQL client code generator

Haskell + PostgreSQL Distributed Job Queue

Basel Haskell Compiler - A next-generation Haskell compiler and runtime for 2026

My first Claude powered AI agent with Haskell!

The free AI already on your Mac. CLI tool, OpenAI-compatible server, and interactive chat — all on-device via Apple Intelligence. No API keys, no cloud, no downloads.

Derive JSON representation and OpenAPI specs for Haskell data types

Certificate and Key Reader/Writer in haskell

A library for parsing and validating webauthn/fido2 credentials

Haskell bindings to Claude API

simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.

This is a fork of memory. It's open to accept changes from anyone, and aims to use existing well maintained libraries as much as possible.

A codec library for HTML-escaped text and HTML-entities

Compose MIME email messages.

The PaaS you actually own

Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

Actually correct™ Flat Earth model