travitch / haggle
An efficient graph library for Haskell
☆39Updated 6 months ago
Alternatives and similar repositories for haggle:
Users that are interested in haggle are comparing it to the libraries listed below
- Invertible parsing for S-expressions☆34Updated 5 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 8 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Agda-style equational reasoning in Haskell☆52Updated last month
- the dynabook but for haskell☆23Updated 5 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Dependently-typed finite maps (partial dependent products)☆65Updated last week
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated 3 weeks ago
- 💧 Liquid Haskell integration for Cabal and Stack☆23Updated 5 years ago
- Fine-grained lattice primitives for Haskell☆36Updated 2 weeks ago
- ☆29Updated 6 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Reimplementation of a subset of Cabal☆24Updated 3 weeks ago
- Ghosts of Departed Proofs☆60Updated 4 years ago
- Surgery for generic data types☆25Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Order theory☆24Updated last year
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- higher-kinded data☆30Updated last year
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Deep evaluation of data structures☆41Updated 5 months ago
- rewrite rules for type-level equalities☆62Updated 10 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last week
- Safe web routing in haskell☆30Updated last year
- ☆25Updated last month