kowainik / treap
Efficient implementation of the implicit treap data structure
☆63Updated 3 years ago
Related projects: ⓘ
- tools for writing better type errors☆73Updated last year
- ♾️ Sized list☆46Updated 4 months ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Hedgehog will eat your typeclass bugs☆56Updated 2 weeks ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- Interpreter for GHC Haskell☆22Updated 4 years ago
- Generic Programming using True Sums of Products☆156Updated 4 months ago
- JHC Haskell compiler split into reusable components☆58Updated 5 years ago
- Comma (and other) separated values☆77Updated 10 months ago
- A work stealing scheduler☆76Updated 10 months ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 2 years ago
- ☆41Updated 6 years ago
- Serializable closures for distributed programming.☆65Updated 9 months ago
- Type-safe time units in Haskell☆49Updated 8 months ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- ☆41Updated 7 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆66Updated last year
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Haskell library for semigroup actions and torsors☆57Updated 7 months ago
- Automatically trace all (showable) binds in do expressions☆84Updated 6 years ago
- A monad for managed values☆50Updated last year
- Haskell 98 Profunctors☆70Updated 2 months ago
- Predictable Haskell development environments with Cabal and Nix.☆65Updated 4 years ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- Tasty meal of Dhall☆66Updated last year
- ☆39Updated 4 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆117Updated last month