s-expression → internal IR → LLVM IR
☆48Jan 26, 2016Updated 10 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:
- Pre-built WASM builds☆19Jul 1, 2016Updated 9 years ago
- AOT compiler and static runtime for WebAssembly☆37Aug 26, 2021Updated 4 years ago
- Temporary scaffolding for running WebAssembly end-to-end, from C++ to browsers.☆22Mar 25, 2016Updated 9 years ago
- ☆85Nov 10, 2015Updated 10 years ago
- Applied Symbolic Execution with KLEE/LLVM☆24Jun 7, 2013Updated 12 years ago
- Experimental WebAssembly polyfill library and tools☆245May 6, 2016Updated 9 years ago
- Library for interpreting / debugging wasm code☆98Aug 22, 2022Updated 3 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 8 years ago
- Constant-time WebAssembly☆20Apr 28, 2022Updated 3 years ago
- Prototype native decoder that targets TurboFan☆187Apr 5, 2016Updated 9 years ago
- A Lisp syntax for Haskell.☆22May 11, 2012Updated 13 years ago
- An experimental language that compiles to JavaScript and C++☆33Dec 27, 2013Updated 12 years ago
- musl libc experiment☆77May 3, 2019Updated 6 years ago
- Snapshot of the April 2000 XSOC/xr16 Project Beta 0.93, collateral for Jan Gray's series "Building a RISC System in an FPGA" published in…☆13Jan 7, 2023Updated 3 years ago
- WebAssembly playground☆25Apr 19, 2021Updated 4 years ago
- Standalone VM using LLVM JIT☆312Oct 15, 2019Updated 6 years ago
- Proposal to add non-trapping float-to-int conversions to WebAssembly☆17Aug 22, 2022Updated 3 years ago
- Pragmatic functional programming language☆10Dec 26, 2016Updated 9 years ago
- ☆13Mar 7, 2022Updated 4 years ago
- An example piece of code to publish to the 21 marketplace. Allows users to pay you bitcoin to run a traceroute.☆16Jan 2, 2017Updated 9 years ago
- Python scripts for gdb, reverse engineering oriented☆16Sep 20, 2016Updated 9 years ago
- Wiki for ocaml compiler internals☆49Aug 2, 2013Updated 12 years ago
- An example program that embeds Python and NumPy using static linking and frozen modules.☆17Apr 3, 2016Updated 9 years ago
- My unordered pile of scripts & readmes☆18Jun 14, 2020Updated 5 years ago
- Translator from wasm to Cretonne IL☆19Aug 11, 2017Updated 8 years ago
- A top down parser that can handle left recursion by using a stack and backtracking☆17Aug 17, 2015Updated 10 years ago
- PLT Redex models of LVar calculi☆10Apr 6, 2015Updated 10 years ago
- Put WebAssembly in your washing machine☆213Nov 3, 2017Updated 8 years ago
- resurrected LLVM "C Backend", with improvements☆132Sep 30, 2020Updated 5 years ago
- Higher Subleq is a simplified typeless C language.☆12Oct 21, 2015Updated 10 years ago
- Very Fast Machine Learning Toolkit☆28May 9, 2013Updated 12 years ago
- A Rust implementation of the Gravity-post-quantum signature schemes☆19Nov 20, 2025Updated 3 months ago
- Proposal to add instrumentation and tracing instructions to WebAssembly☆16Sep 17, 2021Updated 4 years ago
- Xcbwin - a simple C++ class for graphical outputs using XCB☆12May 12, 2015Updated 10 years ago
- Microbenchmarks for x86_64 kernel entry methods☆20Feb 21, 2022Updated 4 years ago
- A high-level explanation of the low-level details of WebAssembly components☆25Apr 26, 2023Updated 2 years ago
- Build and test bots☆48Aug 22, 2022Updated 3 years ago
- ☆10Sep 24, 2019Updated 6 years ago
- Observable-based Fetch API.☆10Aug 10, 2020Updated 5 years ago