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:
- Higher-order optimization library☆76Updated 2 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 11 years ago
- LVC verified compiler☆57Updated 6 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆149Updated 3 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- The SAW core language.☆54Updated 4 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 13 years ago
- Inline, type safe X86-64 assembly programming in Agda☆70Updated 6 years ago
- ☆29Updated 9 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated 3 weeks ago
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆43Updated last year
- MLton for scalable multicore architectures☆57Updated 11 years ago
- A static analysis tool for C.☆28Updated 5 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- An higher-level LLVM binding for OCaml☆14Updated 8 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 12 years ago
- ☆22Updated 9 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 12 years ago
- Idris, but it's C☆24Updated 7 years ago
- A simple library for Haskell that allows relational programming.☆46Updated 12 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 6 months ago