A Virtual Machine Research Overview as a Graph
☆25Dec 21, 2025Updated 2 months 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:
- It's an open source restaurant and coffee shop management system.☆10Jan 6, 2023Updated 3 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- a flow/node based UI framework for React and JavaScript☆13Sep 20, 2023Updated 2 years ago
- It's interpreters all the way down.☆13May 12, 2021Updated 4 years ago
- A simple VM to play with OSR in LLVM☆15Jun 11, 2017Updated 8 years ago
- A project cataloguing, preserving, and dissecting compilers for the Ruby programming language☆17Sep 27, 2022Updated 3 years ago
- Propostas, discussões e decisões relacionadas à comunidade.☆19Oct 1, 2018Updated 7 years ago
- eXtended Voice Activity Detection Splitter☆16Nov 22, 2019Updated 6 years ago
- Verified, Incremental, Binary Editing with Synthesis☆55Mar 7, 2023Updated 3 years ago
- A handy tool to help design and parse your own language☆21Aug 13, 2022Updated 3 years ago
- Function Merging & Branch Fusion☆19Apr 5, 2019Updated 6 years ago
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 6 months ago
- x86 Dynamic Binary Translator Library☆34Dec 19, 2020Updated 5 years ago
- Formally verified implementation of Alive in Lean☆41Jul 14, 2023Updated 2 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- Firefox add-on that adds JSFiddle style prototyping to Firefox DevTools.☆31Dec 5, 2020Updated 5 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 10 months ago
- KORE to llvm translation☆42Oct 15, 2025Updated 4 months ago
- A prototype of soft contract verification for an untyped functional language☆35Apr 7, 2021Updated 4 years ago
- Interactive Control Flow Graph Visualization.☆34Sep 27, 2021Updated 4 years ago
- Timeless debugging with symbolic execution and processor trace☆75Jan 23, 2021Updated 5 years ago
- llvm crash analysis☆44Jun 26, 2024Updated last year
- 这是一个 fps 单机游戏逆向练习项目，使用 imgui 绘制。（This is a reverse practice project for fps single player games, drawn using imgui.）☆13Sep 5, 2023Updated 2 years ago
- virtualenv like tool for Racket☆31Nov 20, 2022Updated 3 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Feb 27, 2026Updated last week
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 6 years ago
- ☆10Oct 15, 2017Updated 8 years ago
- Mirror of KeyBase data☆10Jan 4, 2018Updated 8 years ago
- Laravel integration for Telnyx SMS service☆17Sep 7, 2022Updated 3 years ago
- Rewriting functions in compiled binaries using McSema☆92Aug 6, 2019Updated 6 years ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆31Jan 7, 2022Updated 4 years ago
- The Gillian Platform main repository☆95Feb 20, 2026Updated 2 weeks ago
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- Compiler for Swiftlet☆40May 7, 2024Updated last year
- Semantics of x86-64 in K☆167Mar 4, 2020Updated 6 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 5 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- [Mu Online] Tool to reading MuError.log file.☆10Feb 4, 2020Updated 6 years ago