giorgidze / set-monad
Set monad
☆17Updated last year
Alternatives and similar repositories for set-monad:
Users that are interested in set-monad are comparing it to the libraries listed below
- Invertible parsing for S-expressions☆33Updated 4 months ago
- Category theory concepts in type classes and instances.☆22Updated 2 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 2 months ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated last month
- Generic functions for single-sorted first-order structural unification☆41Updated 2 weeks ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- Experiments with linear types☆14Updated 6 years ago
- the dynabook but for haskell☆23Updated 5 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
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 10 months ago
- Ghosts of Departed Proofs☆60Updated 4 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Interval Arithmetic☆27Updated last month
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Automatic type class law checking.☆24Updated this week
- Agda-style equational reasoning in Haskell☆52Updated 2 weeks ago
- 💧 Liquid Haskell integration for Cabal and Stack☆23Updated 5 years ago
- Various cabal query commands wrapped in a simple CLI tool☆18Updated 7 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Kleene algebra, regular expressions☆32Updated last year
- Deep evaluation of data structures☆41Updated 4 months ago
- Reasonable Haskell default import☆27Updated 2 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 8 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Codo notation for programming with comonads in Haskell☆26Updated 3 years ago
- Dual Traversable☆42Updated last year
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆33Updated this week
- A library for doing generic programming in Agda☆31Updated 3 years ago
- GRIN backend for Idris☆51Updated 4 years ago