tamaroning / wancoLinks
WebAssembly AOT compiler with cross-CPU checkpoint/restore support
☆20Updated 3 months ago
Alternatives and similar repositories for wanco
Users that are interested in wanco are comparing it to the libraries listed below
Sorting:
- A language server for TableGen and a VSCode extension☆17Updated this week
- A proof-of-concept microkernel that runs WebAssembly natively.☆69Updated last year
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆21Updated 4 months ago
- A benchmark for standalone WebAssembly☆34Updated last year
- Refinement type checking and inference tool for Rust☆14Updated 2 weeks ago
- C++ Compiler☆21Updated 3 years ago
- ☆24Updated 3 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆38Updated 2 weeks ago
- Experimental AArch64 Emulator Written in C++☆39Updated 2 years ago
- A Rust compiler backend focused on compilation speed.☆16Updated 3 years ago
- ☆20Updated 2 weeks ago
- ☆30Updated 2 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated last year
- A thin-hypervisor that runs on aarch64 CPUs.☆97Updated 3 weeks ago
- RustHorn: A CHC-based automated verifier for Rust☆87Updated 6 months ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- Unofficial reference Wasm interpreter written in C☆37Updated last year
- An interactive debugger for WebAssembly☆139Updated last year
- Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks☆33Updated last week
- optimizing compiler for a subset of C language☆35Updated 5 years ago
- The C3, SMT/SAT solver written in C.☆34Updated last month
- An ICE-based predicate synthesizer for Horn clauses.☆50Updated 3 months ago
- ☆39Updated last year
- An experimental optimizing compiler for Bril☆76Updated this week
- Embedded Universal DSL: a good DSL for us, by us☆45Updated this week
- MimIR is my Intermediate Representation☆76Updated 2 weeks ago
- Formal semantics of Rust☆23Updated 4 years ago
- In-memory x86-64 assembler for JIT compiler.☆76Updated 5 months ago
- UB-aware interpreter for LLVM debugging☆31Updated 2 weeks ago
- Experimental MLIR Rust compiler☆24Updated 2 years ago