jcbeyler / wasm-to-llvm-prototypeLinks
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
- Library for interpreting / debugging wasm code☆98Updated 2 years ago
- Compiler intermediate language for static analysis.☆108Updated 6 years ago
- Temporary scaffolding for running WebAssembly end-to-end, from C++ to browsers.☆23Updated 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 2 years ago
- A cheerp enabled libc implementation☆27Updated 3 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- Precursor to WASI libc.☆36Updated 2 years ago
- WebAssembly interpreter in RPython☆66Updated 6 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
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 years ago
- A C++ expression -> x86 JIT☆18Updated 8 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- ☆53Updated last year
- A http package for IncludeOS☆13Updated 8 years ago
- Formal semantics of LLVM IR in K☆44Updated 10 years ago
- Standalone VM using LLVM JIT☆312Updated 5 years ago
- EBNF grammar of LLVM IR assembly.☆66Updated 2 years ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Library for generating ABI-compliant LLVM IR☆60Updated 5 years ago
- A Javascript AOT compiler base on LLVM☆67Updated 10 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- Code samples for using libjit☆91Updated 8 years ago
- A fast, dumb and small LLVM code generator. This generates x86-32 code from LLVM bitcode.☆62Updated 11 years ago
- MiniJava x86, LLVM Compiler and Interpreter☆73Updated 8 years ago
- asm.js parser in C++☆18Updated 9 years ago
- A proof assistant.☆12Updated 9 years ago