nominolo / union-findLinks
Efficient union and equivalence testing of sets.
☆31Updated 6 years ago
Alternatives and similar repositories for union-find
Users that are interested in union-find are comparing it to the libraries listed below
Sorting:
- A well-typed Directed Acyclic Graph in Haskell☆14Updated 10 years ago
- haskell memory☆48Updated last year
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Updated 6 years ago
- Fine-grained lattice primitives for Haskell☆37Updated 2 weeks ago
- Open records for Haskell☆22Updated 7 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 4 months ago
- ☆40Updated 5 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 11 months ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago
- The Haskell tracer - generating and viewing Haskell execution traces☆38Updated 2 years ago
- Library for manipulating Haskell source code☆22Updated 2 months ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- A monad for managed values☆51Updated 2 years ago
- Easy bidirectional serialization in Haskell☆49Updated 6 years ago
- Hedgehog will eat your typeclass bugs☆56Updated last month
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- First class composable record labels for Haskell.☆68Updated 3 years ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- ☆19Updated 6 months ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆124Updated 11 months ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- simple interface to ghc's simd vector support☆23Updated 10 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago