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
- AOT compiler and static runtime for WebAssembly☆36Updated 3 years ago
- musl libc experiment☆77Updated 5 years ago
- Compiler intermediate language for static analysis.☆108Updated 6 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- Library for interpreting / debugging wasm code☆97Updated 2 years ago
- A cheerp enabled libc implementation☆27Updated 3 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
- C++11 library for many-sorted logics☆39Updated 8 years ago
- Temporary scaffolding for running WebAssembly end-to-end, from C++ to browsers.☆23Updated 9 years ago
- Bullet physics library ported to JavaScript with Cheerp☆23Updated 9 years ago
- GCC asm.js backend, support files that can't go in the program repositories☆47Updated 4 years ago
- ☆51Updated last year
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 8 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 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
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 9 years ago
- Cheerp headers and utils☆34Updated last month
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- A C++ expression -> x86 JIT☆18Updated 8 years ago
- Precursor to WASI libc.☆36Updated 2 years ago
- Standalone VM using LLVM JIT☆312Updated 5 years ago
- custom type systems for Clang☆97Updated 9 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- Work towards a "golden model" of the RISC-V calling convention(s)☆10Updated 7 years ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 6 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Miscellaneous utility code for c++ projects.☆18Updated 6 years ago
- A cross-platform implementation of the Immix Garbage Collector☆77Updated 10 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago