strake / frown
LALR(k) Parser Generator for Haskell, by Ralf Hinze
☆9Updated 4 years ago
Related projects: ⓘ
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- The Alms Programming Language☆43Updated 6 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated last year
- A Gallina compiler with C++17 as an intermediate representation☆41Updated 3 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- ☆12Updated this week
- Roaring bitmaps in Haskell☆13Updated 5 years ago
- ☆22Updated 8 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 5 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Practical type inference for arbitrary-rank types☆9Updated 5 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- Two-Level Type Theory☆27Updated 4 years ago
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆19Updated last year
- Experimental functional language☆18Updated 2 years ago
- ☆25Updated this week
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Dafny for Metatheory of Programming Languages☆21Updated last week
- Type inference for 'type level computation one step at a time'☆12Updated 6 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- A showcase of interesting code and proof developments in Cedille☆36Updated last year
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 4 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 12 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- A static analysis tool for C.☆26Updated 4 years ago
- An extended typed Lambda Calculus☆20Updated last month
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆16Updated 4 years ago
- MLpolyR☆7Updated 8 years ago