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☆60Updated 2 years ago
- high-powered optics in a small package☆50Updated last month
- Wailing into the primordial ooze of category theory☆54Updated last month
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Interpret Haskell programs into any cartesian closed category.☆57Updated 3 weeks ago
- Frost☆19Updated 4 years ago
- Content Addressable Storage Archive☆41Updated 7 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
- rewrite rules for type-level equalities☆62Updated 6 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 11 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆56Updated last year
- A work stealing scheduler☆76Updated last year
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Yet another yet another recursion scheme library in Haskell.☆87Updated 2 weeks ago
- coverage driven random testing framework☆21Updated last week
- A Haskell library for open records and variants using closed type families and type literals☆111Updated 2 years ago
- Template repository for writing GHCJS/Reflex apps targeting static sites without a backend.☆24Updated 2 years ago
- Bidirectional JSON serialization☆40Updated 3 years ago
- Serializable closures for distributed programming.☆65Updated 11 months ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- A total recursion scheme library for Dhall☆65Updated 2 months ago
- Classy error-handling (and dispatching!) in Haskell.☆48Updated 5 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 7 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆45Updated last week
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 4 months ago
- ☆92Updated 7 months ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆66Updated 2 years ago