giorgidze / set-monad
Set monad
☆16Updated last year
Related projects ⓘ
Alternatives and complementary repositories for set-monad
- GRIN backend for Idris☆51Updated 4 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 7 months ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Invertible parsing for S-expressions☆33Updated last month
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Provides a type-safe way of working with permutations in Idris☆34Updated 3 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 2 weeks ago
- Deep evaluation of data structures☆41Updated 2 months ago
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 8 years ago
- Constraint Handling Rules☆15Updated last month
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago
- it's a starcraft clone but with a dope typesystem☆49Updated 4 years ago
- A talk☆28Updated 3 years ago
- Yet another yet another recursion scheme library in Haskell.☆87Updated 2 weeks ago
- Zippers based on lenses and traversals☆38Updated last year
- Reasonable Haskell default import☆27Updated 2 years ago
- Category theory concepts in type classes and instances.☆19Updated 3 weeks ago
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆33Updated last month
- Generic functions for single-sorted first-order structural unification☆41Updated last week
- Automatic type class law checking.☆24Updated 11 months ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32Updated last year
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Lambda calculus go brrrr☆28Updated last year