kazu-yamamoto / llrbtree
Left-leaning red-black trees
☆48Updated 12 years ago
Related projects ⓘ
Alternatives and complementary repositories for llrbtree
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 8 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- TeX files for summary of category theory☆14Updated 8 years ago
- A JVM bytecode assembler written in Haskell.☆36Updated 8 years ago
- formalization of the Dependent Object Types (DOT) calculus☆154Updated 8 years ago
- Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection☆66Updated 3 years ago
- JVM code generation☆32Updated 5 years ago
- A spoonful of ADT in your Java.☆49Updated last year
- Arrow based stream transducer☆20Updated 4 years ago
- Implementation of the cufp.org website.☆11Updated 7 years ago
- Core components for the Scribble Java tools☆56Updated last month
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 8 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆45Updated 6 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 8 years ago
- Java Code Generator for Idris☆71Updated 8 years ago
- Frege Interpreter☆15Updated 4 years ago
- Succinct vectors☆20Updated 5 years ago
- Accepted papers for ICFP 2015☆45Updated 8 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆74Updated last year
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 5 years ago
- every day i'm truffling☆67Updated 3 years ago
- playground for working with succinct data structures☆94Updated 9 years ago
- State machines in Idris☆36Updated 8 years ago
- A Haskell program and library to derive instances for data types☆25Updated 4 years ago
- Accepted papers for Haskell 2014☆52Updated 8 years ago
- JVM implementation in Haskell☆44Updated 2 months ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆56Updated 5 years ago