devonhollowood / search-algorithms
Haskell library containing common graph search algorithms
☆52Updated 2 months ago
Alternatives and similar repositories for search-algorithms:
Users that are interested in search-algorithms are comparing it to the libraries listed below
- ☆39Updated 4 years ago
- higher-kinded data☆30Updated last year
- do-notation for Category and "Arrow without arr"☆63Updated 7 years ago
- Invertible parsing for S-expressions☆33Updated 4 months ago
- Fine-grained lattice primitives for Haskell☆35Updated 3 weeks ago
- Functions and newtype wrappers for traversing Trees☆30Updated 4 months ago
- ☆28Updated 6 years ago
- Haskell library for semigroup actions and torsors☆60Updated 11 months ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- Comma (and other) separated values☆76Updated last year
- Dependently-typed finite maps (partial dependent products)☆65Updated 8 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- haskell memory☆48Updated last year
- Some useful control operators for looping☆48Updated 4 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- Get all your structure and rip it apart.☆30Updated 6 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- An efficient graph library for Haskell☆39Updated 5 months ago
- A work stealing scheduler☆75Updated 2 weeks ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆67Updated last month
- Haskell 98 Profunctors☆70Updated 7 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Serializable closures for distributed programming.☆64Updated last year