tamaroning / wancoLinks
WebAssembly AOT compiler with cross-CPU checkpoint/restore support
☆17Updated last month
Alternatives and similar repositories for wanco
Users that are interested in wanco are comparing it to the libraries listed below
Sorting:
- A proof-of-concept microkernel that runs WebAssembly natively.☆68Updated last year
- A benchmark for standalone WebAssembly☆33Updated 11 months ago
- A language server for TableGen and a VSCode extension☆14Updated this week
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆19Updated 2 months ago
- ☆20Updated last week
- ☆30Updated 2 years ago
- ☆24Updated 2 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆36Updated 2 weeks ago
- Experimental AArch64 Emulator Written in C++☆38Updated last year
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated last year
- C++ Compiler☆21Updated 3 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- RustHorn: A CHC-based automated verifier for Rust☆84Updated 4 months ago
- An ICE-based predicate synthesizer for Horn clauses.☆50Updated last month
- Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks☆29Updated 2 months ago
- optimizing compiler for a subset of C language☆35Updated 5 years ago
- A Rust compiler backend focused on compilation speed.☆16Updated 2 years ago
- An interactive debugger for WebAssembly☆138Updated last year
- A benchmark suite and tool to compare different implementations of the same primitives.☆76Updated last month
- Unofficial reference Wasm interpreter written in C☆37Updated last year
- ☆37Updated last year
- A thin-hypervisor that runs on aarch64 CPUs.☆95Updated last month
- A Formal Verification of Algorithm W☆17Updated 4 years ago
- Formal semantics of Rust☆23Updated 4 years ago
- SubRISC: Simple Instruction-Set Computer for IoT edge devices☆16Updated 7 years ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆20Updated last week
- MimIR is my Intermediate Representation☆70Updated this week
- ☆17Updated 3 years ago
- The C3, SMT/SAT solver written in C.☆34Updated 3 years ago
- WebAssembly AoT compiler for your favorite Operating System☆282Updated last week