IntelLabs / flrc-lib
Pillar compiler, Pillar runtime, garbage collector.
☆23Updated 2 years ago
Alternatives and similar repositories for flrc-lib:
Users that are interested in flrc-lib are comparing it to the libraries listed below
- MLton for scalable multicore architectures☆57Updated 11 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- A static analysis tool for C.☆27Updated 5 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- LALR(k) Parser Generator for Haskell, by Ralf Hinze☆9Updated 5 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Updated 3 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Updated 12 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 2 years ago
- ☆22Updated 9 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 13 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- ☆29Updated 9 years ago
- Higher-order optimization library☆74Updated last year
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated 10 months ago
- The Delphin Project☆10Updated 8 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 4 months ago
- ☆26Updated 8 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆31Updated 5 years ago
- A certified semantics for relational programming workout.☆26Updated 4 years ago