kowainik / idris-patriciaLinks
🌋 Idris implementation of patricia tree
☆23Updated 5 years ago
Alternatives and similar repositories for idris-patricia
Users that are interested in idris-patricia are comparing it to the libraries listed below
Sorting:
- ☆23Updated 8 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated last year
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- van Laarhoven lenses for Idris☆20Updated 8 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Lens interface for your filesystem☆22Updated 5 years ago
- Dependently typed Algorithm M and friends☆26Updated 7 years ago
- ☆23Updated 2 years ago
- Kleene algebra, regular expressions☆33Updated 2 years ago
- A nullary type class for partial functions☆15Updated 8 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- "Programs that explain their effects" talk material☆17Updated 7 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 8 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Experiments with effect systems☆12Updated 9 years ago
- An experiment in functional interface design☆24Updated 9 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆36Updated last year
- System POSIX bindings for Idris.☆36Updated 7 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Updated 2 weeks ago
- Reification of data structures using observable sharing☆30Updated last year
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Updated 8 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 8 years ago
- A natural transformation package☆16Updated 3 weeks ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 6 years ago
- The Str signature and implementations☆21Updated 8 years ago
- Deep evaluation of data structures☆43Updated 7 months ago
- Unpinned byte arrays in GHC haskell☆22Updated 7 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago