target / theta-idl
Define communication protocols between applications using algebraic data types.
☆45Updated last year
Related projects ⓘ
Alternatives and complementary repositories for theta-idl
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Wailing into the primordial ooze of category theory☆54Updated last week
- Generic random generators☆81Updated last year
- Braiding extensible effects together in a pipeline/workflow of tasks☆56Updated last year
- Haskell library for semigroup actions and torsors☆57Updated 9 months ago
- CI assistant☆46Updated 2 weeks ago
- high-powered optics in a small package☆50Updated last month
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆45Updated 2 weeks ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 7 years ago
- Serializable closures for distributed programming.☆65Updated 11 months ago
- A total recursion scheme library for Dhall☆65Updated last week
- Interpret Haskell programs into any cartesian closed category.☆57Updated last week
- Automation of Haskell package release process.☆31Updated last year
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- Cofun with Cofree Comonads☆30Updated 8 years ago
- Benchmarks to compare Haskell streaming library performance☆102Updated this week
- Haskell 98 Profunctors☆70Updated 5 months ago
- Haskell QuasiQuoter for String Formatting☆66Updated 6 months ago
- Yet another yet another recursion scheme library in Haskell.☆87Updated 3 weeks ago
- Tasty meal of Dhall☆66Updated last year
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 4 years 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
- Stroll: an experimental build system☆38Updated last year
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Automatic type class law checking.☆24Updated 11 months ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆66Updated 6 months ago