tidalcycles / Tidal
Pattern language
See what the GitHub community is most excited about today.
Pattern language
High performance, concurrent functional programming abstractions
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Horn Clause Constraint Solving for Liquid Types
REST API for any Postgres database
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
💥💻💥 A data-parallel functional programming language
An advanced keyboard manager
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
Universal markup converter
Implementation of the Hydra Head protocol
The symbolic execution engine powering the K Framework