tamaroning / wancoLinks
WebAssembly AOT compiler with cross-CPU checkpoint/restore support
☆19Updated 2 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☆16Updated last week
- A proof-of-concept microkernel that runs WebAssembly natively.☆68Updated last year
- A benchmark for standalone WebAssembly☆34Updated last year
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆19Updated 3 months ago
- ☆30Updated 2 years ago
- ☆24Updated 2 years ago
- Experimental AArch64 Emulator Written in C++☆38Updated last year
- ☆20Updated this week
- Debugging WebAssembly? Put some Whamm! on it.☆36Updated last week
- 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