hopv / velLinks
Vel: A language for verified low-level software
☆15Updated 2 years ago
Alternatives and similar repositories for vel
Users that are interested in vel are comparing it to the libraries listed below
Sorting:
- A toy C Compiler implemented by Rust.☆19Updated 2 years ago
- No-std, no-unsafe and no-dependencies WebAssembly 1.0 runtime for Rust☆45Updated last year
- atttribute macro for running a flaky test multiple times☆31Updated last year
- A RISC-V emulator written in Rust☆110Updated last year
- RISC-V instruction decoder written in Rust.☆15Updated 2 months ago
- Small ONNX inference runtime written in Rust☆99Updated 3 months ago
- Command line linker for creating WebAssembly components☆42Updated 2 weeks ago
- rust riscv64 xv6 reimplementation☆21Updated last year
- Inspired by nom, but specifically for strings.☆78Updated last week
- Micro modularized WASI runtime for JavaScript☆52Updated 5 months ago
- Dead-simple protobuf-based RPC system.☆24Updated 3 years ago
- A proof-of-concept microkernel that runs WebAssembly natively.☆69Updated last year
- A small Wasm Runtime☆192Updated last year
- A simple tool to convert a WebAssembly module to a WASI component (component model, WASI-preview2).☆12Updated 5 months ago
- I2C API for WASI☆21Updated 3 months ago
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆20Updated 3 months ago
- In-memory x86-64 assembler for JIT compiler.☆76Updated 5 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆38Updated last week
- WebAssembly AoT compiler for your favorite Operating System☆286Updated this week
- Crates to benchmark your Rust code☆42Updated last week
- TypeScript implementation of ZenML parser and XML manipulation utilities☆10Updated 2 years ago
- [WIP] ⚡️ DynamoDB library for Rust.☆39Updated last week
- A tool for editing files according to the rules of a provided Turing Machine☆30Updated last month
- A Rust compiler backend focused on compilation speed.☆16Updated 3 years ago
- A simple 3D rendering engine☆12Updated 2 years ago
- A benchmark for standalone WebAssembly☆34Updated last year
- LLVM Bitcode parser in Rust☆25Updated 4 months ago
- toml parser in zig programming language☆11Updated 5 years ago
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆24Updated 2 years ago
- ☆36Updated 3 years ago