target / theta-idl
Define communication protocols between applications using algebraic data types.
☆45Updated last year
Alternatives and similar repositories for theta-idl:
Users that are interested in theta-idl are comparing it to the libraries listed below
- Haskell embedding of PlusCal☆61Updated 2 years ago
- high-powered optics in a small package☆53Updated 3 months ago
- Wailing into the primordial ooze of category theory☆55Updated 2 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆57Updated last year
- A total recursion scheme library for Dhall☆66Updated this week
- Stroll: an experimental build system☆40Updated last year
- Dhall support for the DOT language for graphviz☆37Updated 2 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 10 months ago
- Tasty meal of Dhall☆66Updated last year
- CI assistant☆46Updated last month
- Isomorphic Reasoning: Counting with Types☆37Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Extensible records for Idris☆26Updated 3 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- There are many category theory implementations, but this one is mine☆15Updated 4 months ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Dual Traversable☆42Updated last year
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- Cofun with Cofree Comonads☆31Updated 8 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆79Updated 4 years ago
- rewrite rules for type-level equalities☆62Updated 9 months ago
- Generate Nix build instructions from a Stack file☆49Updated 3 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Updated 4 years ago
- Serializable closures for distributed programming.☆64Updated last year
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆49Updated last month
- Zippers based on lenses and traversals☆38Updated last year
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago