eregon / virtual-machines-research-graphLinks
A Virtual Machine Research Overview as a Graph
☆25Updated 4 years ago
Alternatives and similar repositories for virtual-machines-research-graph
Users that are interested in virtual-machines-research-graph are comparing it to the libraries listed below
Sorting:
- Runtime support for LLVM's GC Statepoints☆43Updated 5 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆27Updated 4 years ago
- Parser for the llvm bitcode format☆59Updated this week
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 3 months ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- ☆65Updated 8 years ago
- Unison's source code☆108Updated last year
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- LVC verified compiler☆57Updated 6 years ago
- OCaml LLVM bindings tutorial☆21Updated 8 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆122Updated last year
- The Higher-Order Intermediate Representation☆156Updated this week
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- ☆48Updated 4 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- Benchmark repository of polyglot effect handler examples☆26Updated 3 months ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 3 years ago
- The Delphin Project☆10Updated 8 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- Parallel ML compiler☆73Updated 5 years ago
- SSA vs ANF☆43Updated 10 years ago
- EBNF grammar of LLVM IR assembly.☆66Updated 2 years ago
- Datalog engine with extensions for integrating analyses☆38Updated 7 years ago
- Research Compiler using Graph IR for Code Optimizations and Code Generations☆50Updated 6 years ago