TiarkRompf / rrbtrees
RRB-Trees: Efficient Immutable Vectors
☆50Updated 12 years ago
Related projects ⓘ
Alternatives and complementary repositories for rrbtrees
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆56Updated 5 years ago
- A JVM bytecode assembler written in Haskell.☆36Updated 8 years ago
- A recursion scheme library for Idris.☆24Updated last week
- prototyping logic programming in Scala☆40Updated 2 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Updated 8 years ago
- Lambda syntax for Scala EDSLs☆26Updated last year
- eta-spark is a library that provides complete bindings for Apache Spark☆21Updated 6 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 5 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- Levenshtein edit distance, packaged for ATS☆11Updated 2 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- ☆23Updated 9 years ago
- ☆15Updated 7 years ago
- (Actually) flexible law checking for Scala☆15Updated 7 years ago
- Extensible records for Idris☆26Updated 3 years ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- Isomorphic Reasoning: Counting with Types☆37Updated 4 years ago
- Talks on category-parametric programming.☆22Updated 11 months ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Haskell 98 contravariant functors☆73Updated last month
- State machines in Idris☆36Updated 8 years ago
- an exploration of subtyping-based category theory in scala☆24Updated 13 years ago
- JVM code generation☆32Updated 5 years ago
- A small bifunctor library for idris☆21Updated 3 years ago
- Haskell 98 Profunctors☆70Updated 4 months ago
- Lightweight affine types and object capabilities in Scala☆32Updated 5 years ago
- ☆22Updated 8 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- Type provider library for Idris☆92Updated 6 years ago