Lean Theorem Prover MCP

Category theory but for kitty cats, meow 🐱🐈

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier

📚 Web app for browsing, reading and downloading eBooks stored in a Calibre database

The official source code repository for the calibre ebook manager

Scaffold hybrid mobile apps with Elm + Vite + Capacitor

A small CLI utility for easy benchmarking of Elm code.

Write Mac apps entirely in Haskell

Elm helpers for Json encoding and decoding of sum types

An agentic skills framework & software development methodology that works.

OpenAPI Diff and Breaking Changes

Calibre-Web but Automated and with tons of New Features! Fully automate and simplify your eBook set up!

Mappings for PostgreSQL types

AI Hero's open-source examples and course material. Learn AI Engineering with a single repo.

list specific case(s) instead of _ ->

Generate GIFs from Chess PGN files.

A programming language in Turkish where grammatical case and mood are part of the type system.

The foundation of HTML and SVG in Elm.

python script able to connect to the chessnut air board using bluetooth

Play chess from your terminal 🦀

Crossy Road clone in Haskell, using the Gloss library! 🐔

Glasgow Haskell Compiler

Beads - A memory upgrade for your coding agent

Analysis of the Lichess puzzle database to identify puzzles of lower quality

prevent XSS attacks by sanitizing html (this is different then escaping!)

prevent XSS attacks by sanitizing html (this is different then esacping!)

A rewrite of cachix/elm2nix with a few changes and improvements.