tamaroning / wancoLinks
WebAssembly AOT compiler with cross-CPU checkpoint/restore support
☆20Updated 4 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☆19Updated this week
- A proof-of-concept microkernel that runs WebAssembly natively.☆70Updated last year
- Refinement type checking and inference tool for Rust☆15Updated last month
- A benchmark for standalone WebAssembly☆34Updated last year
- Debugging WebAssembly? Put some Whamm! on it.☆44Updated this week
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆22Updated 5 months ago
- ☆30Updated 2 years ago
- C++ Compiler☆21Updated 3 years ago
- ☆25Updated 3 years ago
- ☆20Updated last month
- Experimental AArch64 Emulator Written in C++☆39Updated 2 years ago
- Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks☆33Updated 2 weeks ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated last year
- A Rust compiler backend focused on compilation speed.☆16Updated 3 years ago
- RustHorn: A CHC-based automated verifier for Rust☆87Updated 7 months ago
- An interactive debugger for WebAssembly☆139Updated last year
- The C3, SMT/SAT solver written in C.☆35Updated 2 months ago
- optimizing compiler for a subset of C language☆35Updated 6 years ago
- ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.☆14Updated 2 years ago
- Unofficial reference Wasm interpreter written in C☆37Updated last year
- WebAssembly AoT compiler for your favorite Operating System☆289Updated this week
- An ICE-based predicate synthesizer for Horn clauses.☆50Updated 4 months ago
- A thin-hypervisor that runs on aarch64 CPUs.☆98Updated last month
- An experimental optimizing compiler for Bril☆78Updated this week
- A benchmark suite and tool to compare different implementations of the same primitives.☆79Updated 4 months ago
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Updated 4 years ago
- Formal semantics of Rust☆23Updated 4 years ago
- RISC-V instruction decoder written in Rust.☆17Updated 2 weeks ago
- ☆33Updated last month