IntelLabs / flrc-libLinks
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
Sorting:
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated last month
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 15 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- The Alms Programming Language☆44Updated 7 years ago
- The SAW core language.☆54Updated 4 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- A simple library for Haskell that allows relational programming.☆46Updated 13 years ago
- ☆22Updated 9 years ago
- A static analysis tool for C.☆28Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 11 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- Jhc: Haskell Compiler☆38Updated 10 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- LVC verified compiler☆57Updated 6 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 12 years ago
- Automatically exported from code.google.com/p/trellys☆47Updated 6 years ago
- Higher-order optimization library☆76Updated 2 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- A certified semantics for relational programming workout.☆26Updated 4 years ago
- ☆21Updated 10 years ago
- ☆29Updated 10 years ago
- Inline, type safe X86-64 assembly programming in Agda☆70Updated 6 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago