HuwCampbell / zebra
Column-oriented binary format for immutable datasets
☆8Updated 4 years ago
Related projects: ⓘ
- LaTeX sources for the Habit Programming Language Report☆24Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- Abstract binding tree code generator☆36Updated 7 years ago
- Haskell binding for PADS☆18Updated 5 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Updated 4 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 3 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- ☆41Updated 7 years ago
- ☆36Updated 6 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 7 years ago
- cargo +nightly build☆34Updated 5 years ago
- A simple prolog implementation in Rust☆26Updated 3 years ago
- A safe and efficient target language for functional compilers☆19Updated 6 years ago
- ☆25Updated this week
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 4 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆12Updated 7 years ago
- Your happy place for learning APL☆16Updated last year
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- ☆20Updated this week
- Type-Level Programming in Rust☆26Updated 2 years ago
- The Alms Programming Language☆43Updated 6 years ago
- Dependent hash maps☆14Updated 3 months ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- A partial implementation of Protocol Buffers in Idris☆29Updated 7 years ago
- A build tool/package manager for C, configured with Dhall☆66Updated 10 months ago