giorgidze / set-monadLinks
Set monad
☆18Updated 2 years ago
Alternatives and similar repositories for set-monad
Users that are interested in set-monad are comparing it to the libraries listed below
Sorting:
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Provides a type-safe way of working with permutations in Idris☆37Updated 4 years ago
- Some tools for provability logic☆37Updated 7 years ago
- An embedded DSL for creating, composing, and using probability measures.☆42Updated 6 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 2 months ago
- Haskell library for doing category theory with a central role for profunctors☆24Updated this week
- Recursion schemes for Idris☆64Updated 7 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- A talk☆28Updated 4 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆61Updated 2 years ago
- Haskell embedding of PlusCal☆62Updated 3 years ago
- Optics via the profunctor representation theorem☆24Updated 11 months ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Interpret Haskell programs into any cartesian closed category.☆67Updated last week
- Agda-style equational reasoning in Haskell☆54Updated 7 months ago
- ☆32Updated 7 years ago
- Where my everyday research happens☆55Updated last week
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆77Updated 3 years ago
- ☆22Updated 9 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last week
- Yet another yet another recursion scheme library in Haskell.☆89Updated last week
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- topos programming☆31Updated 7 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 6 months ago
- Martin-Löf Extensible Specification and Simulator☆29Updated 10 years ago
- Bidirectional programming in Haskell with monadic profunctors☆47Updated 3 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated last year
- Free Algebras in Haskell☆37Updated last year
- Vector & affine spaces, linear maps, and derivatives☆49Updated 5 months ago