Starred repositories
Template for machine-assisted formalization of mathematical papers in Lean 4
QuasiQuoter transforming raw sql into Squeal expressions.
a small stub for compiling and linking ispc code with haskell
Open-source Visual programming for backend logic that integrates with existing codebases. Flyde bridges the gap between technical and non-technical team members. Product managers, designers, and ba…
generate contextually sensible fuzz tests for servant apps
Official CLI for muapi.ai — generate images, videos & audio from the terminal. MCP server, 14 AI models, npm + pip installable.
Haskell bindings for the QuickJS library
Codd is a simple-to-use CLI tool that applies plain postgres SQL migrations atomically with strong and automatic cross-environment schema equality checks.
Research language for array processing in the Haskell/ML family
A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
Maps using values' monoidal structure during merging
Newtype wrapper around 'Data.Map.Monoidal.MonoidalMap' that has a correct 'Group' instance.
generate github link from selected lines in vim
self(auto)- documenting encoders and decoders
Abstract, inspectable JSON representation of Haskell objects
Minimal implementations for dependent type checking and elaboration
Forward build system with speculation and caching
Bill McCloskey's memoize.py, grabbed with archive.org from http://www.eecs.berkeley.edu/~billm/memoize.html
Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
👓 Profunctor based lightweight implementation of Lenses