travitch / haggle
An efficient graph library for Haskell
☆39Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for haggle
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- the dynabook but for haskell☆23Updated 5 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated 3 months ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 3 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated last year
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- Deep evaluation of data structures☆41Updated 2 months ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated 2 months ago
- Asymptotically optimal Brodal/Okasaki heaps☆29Updated 3 weeks ago
- ☆28Updated 6 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- More strongly typed variant of the ixset Haskell package☆23Updated 3 months ago
- Game NetCode Solved☆24Updated 3 years ago
- Reimplementation of a subset of Cabal☆23Updated last week
- The most complete prelude formed only from the "base" package☆28Updated last year
- Lens interface for your filesystem☆22Updated 3 years ago
- ☆25Updated 5 months ago
- CLI tool for Hackage☆26Updated 4 months ago
- Overloaded plugin☆31Updated 5 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 6 months ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago