titzer / student-projects
A collection of projects for students on Virgil, Wizard, or WebAssembly
☆15Updated last year
Alternatives and similar repositories for student-projects:
Users that are interested in student-projects are comparing it to the libraries listed below
- ☆58Updated 7 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆27Updated 2 weeks ago
- ☆38Updated 4 years ago
- automatially find crashes in the rust compiler & tooling☆73Updated last year
- Research WebAssembly Engine☆412Updated last week
- Compiler optimizer for arbitrary control flow based on equality saturation☆97Updated 2 years ago
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- Fast WebAssembly Baseline Compiler☆55Updated last year
- world's worst interpreter☆60Updated this week
- A super-simple compiler demoing how to talk to LLVM from Rust☆93Updated 8 years ago
- A self-generating WebAssembly parser & serializer in Rust.☆18Updated 2 weeks ago
- An experimental optimizing compiler for Bril☆65Updated 2 weeks ago
- Libsodium WebAssembly benchmarks results.☆81Updated 2 years ago
- SFI verifier of Wasm binaries☆81Updated 2 years ago
- An experimental RVSDG optimizer for brainfuck code☆24Updated 2 years ago
- A small crate for hashing multi sets☆16Updated 3 years ago
- the WebAssembly partial evaluator☆53Updated 5 months ago
- A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler☆32Updated last year
- A repository for the stack switching proposal.☆167Updated 2 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- Wasm Analysis Framework For Lightweight Experiments☆46Updated 5 months ago
- Talk to be given at PLMW 2022☆20Updated 3 years ago
- A gradually typed language originally based on the crafting interpreters series☆63Updated 4 months ago
- The Solid-State Register Allocator☆84Updated 2 years ago
- yk packages☆32Updated this week
- RFC process for Bytecode Alliance projects☆65Updated 3 weeks ago
- ☆172Updated 6 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆78Updated 3 weeks ago
- A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…☆19Updated 5 years ago
- Interface with the rustc compiler for the purpose of program verification☆136Updated this week