HuwCampbell / zebra
Column-oriented binary format for immutable datasets
☆9Updated 5 years ago
Alternatives and similar repositories for zebra:
Users that are interested in zebra are comparing it to the libraries listed below
- A compiler for a simple language using llvm☆35Updated last year
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- ☆41Updated 7 years ago
- The Alms Programming Language☆44Updated 6 years ago
- cargo +nightly build☆34Updated 5 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- An implementation of the Core language☆30Updated 9 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Haskell binding for PADS☆18Updated 5 years ago
- Dependent hash maps☆14Updated 9 months ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 9 months ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆30Updated 4 years ago
- Roaring bitmaps in Haskell☆13Updated 6 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆50Updated last month
- Haskell Join-calculus DSL☆22Updated 6 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 5 years ago
- Fork of official GHC repository.☆44Updated last year
- The LVish Haskell library☆80Updated 2 years ago
- A tiny statically typed programming language☆18Updated 10 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Tool to convert literate code between styles or to code.☆11Updated 5 years ago
- BDD-based implementation of Datalog☆37Updated 4 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago