nominolo / union-find
Efficient union and equivalence testing of sets.
☆30Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for union-find
- Fixed length vector for haskell☆21Updated this week
- Zippers based on lenses and traversals☆38Updated last year
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- haskell memory☆48Updated last year
- Asymptotically optimal Brodal/Okasaki heaps☆29Updated 3 weeks ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- Work on type class deriving with elaboration reflection☆31Updated 6 years ago
- Serializable closures for distributed programming.☆65Updated 11 months ago
- A hip inductive theorem prover!☆88Updated 3 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Dump GHC's abstract syntax trees☆41Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- A categorical framework for circuit construction☆30Updated 8 years ago
- Haskell 98 Profunctors☆70Updated 5 months ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 3 weeks ago
- Deep evaluation of data structures☆41Updated 2 months ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- A monad for managed values☆50Updated last year
- Haskell distributed parallel Haskell☆38Updated 7 years ago
- Pre-processor for .hsc files☆38Updated 3 weeks ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated 3 weeks ago
- An OS written in Idris (eventually...)☆18Updated 9 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Simple adjunctions☆44Updated last year
- Compositional type checking for Haskell☆36Updated 13 years ago