kowainik / idris-patriciaLinks
🌋 Idris implementation of patricia tree
☆23Updated 4 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 7 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated 9 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- ☆23Updated 7 years ago
- Dependently typed elimination functions using singletons☆28Updated 6 months ago
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆18Updated 5 months ago
- Manage Nix Haskell override sets☆11Updated 6 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 7 years ago
- Nat, Fin, Vec☆25Updated 2 months ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- A nullary type class for partial functions☆15Updated 7 years ago
- Propositional logic tools, inspired by the Coq standard library.☆9Updated 7 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 8 months ago
- Reification of data structures using observable sharing☆29Updated 8 months ago
- Easy bidirectional serialization in Haskell☆49Updated 6 years ago
- Agda suffices: software written from A to Z in Agda☆16Updated 6 years ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆32Updated 3 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Updated 7 years ago
- Deep evaluation of data structures☆41Updated 3 weeks ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- My personal web site☆17Updated 3 months ago
- Resin: high performance variable binder and ast manipulation lib☆13Updated 6 years ago
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆34Updated 5 months ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago