jcbeyler / wasm-to-llvm-prototype
s-expression → internal IR → LLVM IR
☆46Updated 9 years ago
Alternatives and similar repositories for wasm-to-llvm-prototype
Users that are interested in wasm-to-llvm-prototype are comparing it to the libraries listed below
Sorting:
- AOT compiler and static runtime for WebAssembly☆36Updated 3 years ago
- musl libc experiment☆77Updated 6 years ago
- Compiler intermediate language for static analysis.☆108Updated 6 years ago
- Library for interpreting / debugging wasm code☆97Updated 2 years ago
- This repo is now stale; all changes have been integrated into upstream LLVM. (Was: A proof of concept implementation of proposed support…☆27Updated 10 years ago
- Temporary scaffolding for running WebAssembly end-to-end, from C++ to browsers.☆23Updated 9 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- Precursor to WASI libc.☆36Updated 2 years ago
- ☆52Updated last year
- Standalone VM using LLVM JIT☆312Updated 5 years ago
- Meld virtual machine.☆29Updated 9 years ago
- Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…☆98Updated last year
- Formal semantics of LLVM IR in K☆46Updated 6 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- An AST Library☆49Updated last year
- A cheerp enabled libc implementation☆27Updated 3 years ago
- WebAssembly interpreter in RPython☆66Updated 6 years ago
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 years ago
- Library for generating ABI-compliant LLVM IR☆60Updated 5 years ago
- Example usage of LLVM's C bindings☆36Updated 13 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- A Javascript AOT compiler base on LLVM☆67Updated 10 years ago
- Code samples for using libjit☆91Updated 8 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 8 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- A C++ expression -> x86 JIT☆18Updated 8 years ago
- dthreads: Efficient Deterministic Multithreading☆51Updated 10 years ago
- A cross-platform implementation of the Immix Garbage Collector☆77Updated 10 years ago
- custom type systems for Clang☆98Updated 9 years ago