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:
- MLton for scalable multicore architectures☆57Updated 11 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 10 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- LVC verified compiler☆57Updated 6 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- ☆22Updated 9 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 13 years ago
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- Jhc: Haskell Compiler☆38Updated 9 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 12 years ago
- An extended typed Lambda Calculus☆21Updated 11 months ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 4 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 5 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- A static analysis tool for C.☆27Updated 5 years ago
- Inline, type safe X86-64 assembly programming in Agda☆70Updated 6 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Updated 3 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆12Updated 6 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 4 months ago