HuwCampbell / zebra
Column-oriented binary format for immutable datasets
☆8Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for zebra
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- cargo +nightly build☆34Updated 5 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 5 months ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Updated 4 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 5 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Haskell binding for PADS☆18Updated 5 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 7 years ago
- A compiler for a simple language using llvm☆35Updated last year
- ☆36Updated 6 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆34Updated 6 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- Abstract binding tree code generator☆36Updated 8 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- Dependent hash maps☆14Updated 6 months ago
- ☆10Updated 3 years ago
- A safe and efficient target language for functional compilers☆19Updated 6 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Updated 4 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
- A thread-safe hash table in Haskell☆14Updated 4 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- Generate Purescript types from your Rust types. (unmaintained)☆41Updated 6 years ago