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:
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 7 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated last week
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- Higher-order optimization library☆76Updated 2 years ago
- LVC verified compiler☆57Updated 6 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 7 years ago
- ☆22Updated 9 years ago
- Inline, type safe X86-64 assembly programming in Agda☆70Updated 6 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- A simple library for Haskell that allows relational programming.☆46Updated 12 years ago
- A static analysis tool for C.☆27Updated 5 years ago
- The SAW core language.☆54Updated 4 years ago
- xmonad in Coq☆46Updated 13 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 13 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- The Alms Programming Language☆44Updated 6 years ago
- An efficient, lazy suffix tree implementation☆13Updated 4 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- ☆29Updated 9 years ago
- Reference type checker for the Lean theorem prover☆62Updated 8 years ago