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
- Wailing into the primordial ooze of category theory☆55Updated last week
- A total recursion scheme library for Dhall☆66Updated last month
- CI assistant☆46Updated last month
- Yet another yet another recursion scheme library in Haskell.☆87Updated this week
- Serializable closures for distributed programming.☆64Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- high-powered optics in a small package☆53Updated 5 months ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Bidirectional JSON serialization☆40Updated 4 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Stroll: an experimental build system☆40Updated last year
- ☆50Updated 4 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated last week
- A work stealing scheduler☆75Updated 2 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
- Tasty meal of Dhall☆66Updated last year
- Cofun with Cofree Comonads☆31Updated 8 years ago
- Interpret Haskell programs into any cartesian closed category.☆58Updated 2 months ago
- rewrite rules for type-level equalities☆62Updated 11 months ago
- Benchmarks to compare Haskell streaming library performance☆103Updated 4 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Create temporary postgres instances☆53Updated 7 months ago
- An extension to Data.Serialize with built-in version control☆59Updated 2 weeks ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆57Updated last year
- Easy Haskell Language Server tooling with Nix!☆55Updated 3 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 5 years ago