Vx: one language, every chip.
☆236Oct 30, 2026Updated this week
Alternatives and similar repositories for Vx
Users that are interested in Vx are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Foundry toolchain manager☆13Updated this week
- Self-hosted collaborative knowledge system for organizations.☆18Updated this week
- Accounts SDK for Apps and Wallets building on Tempo.☆35Updated this week
- Fast filesystem snapshot and rollback tool for benchmarking☆53Updated this week
- Parallelize Python loops by adding two comments - and it's guaranteed bit-identical to running sequentially. Same floats, same order. No …☆21Oct 23, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Lean 4 framework for reasoning about Triton-style kernels.☆29Updated this week
- Resources to learn llvm-ripple programming☆12Updated this week
- Core traits and libraries extracted from Foundry, published as crates so they can be depended on without git references.☆23Updated this week
- The Goose Programming Language☆2,548Updated this week
- Effect-native realtime synchronization: shared contracts, server and client runtimes, and platform adapters.☆40Updated this week
- Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary…☆56Oct 5, 2026Updated 3 weeks ago
- Ruby SDK for the Machine Payments Protocol☆16Updated this week
- SDK for Frontier Embedded Agents.☆642Updated this week
- ☆18Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Build a compiler to solve Anthropic's interview challenge.☆136Jul 12, 2026Updated 3 months ago
- Fastest concurrent ordered map☆610Updated this week
- (Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.☆21Oct 23, 2026Updated last week
- x86-64 assembler written in C☆49Updated this week
- The Zippel language for cryptographic proof systems, compiles into optimized and safe prover and verifier code.☆46Updated this week
- Wasm interpreter in lean, designed for reasoning☆191Oct 6, 2026Updated 3 weeks ago
- ☆16Sep 19, 2026Updated last month
- A comprehensive framework and node for developing, deploying, and interacting with smart contracts written in Rust and Solidity (includin…☆20Oct 3, 2025Updated last year
- ☆50Sep 30, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- cuTile Rust provides a safe, tile-based kernel programming DSL for the Rust programming language. It features a safe host-side API for pa…☆1,055Oct 8, 2026Updated 3 weeks ago
- an Effect-native UI framework where E/R channels survive to compile-time — forget a service Layer and it's a compile error that names it☆56Updated this week
- Database write ahead log in Rust.☆21Mar 15, 2025Updated last year
- Efficient nibble-sized (4-bit) byte sequence data structure☆37Updated this week
- An end-to-end compiler stack that lowers PyTorch models to a custom RISC-V instruction set, running on a heterogeneous **ARM (host) + Pic…☆34Updated this week
- Efficient, performant, thread-safe bytes/string interning in Rust.☆17Jul 3, 2026Updated 3 months ago
- python driver and runtime for tenstorrent blackhole cards☆22Sep 16, 2026Updated last month
- Commonware Library Primitives and Examples☆621Updated this week
- Incremental rust builds up to 92x faster than cargo/rustc☆1,743Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- This project is an adapted version of Seth-McKilla's project with the newest Wagmi version.☆17Apr 21, 2023Updated 3 years ago
- QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native TypeScript, a REPL that…☆450Updated this week
- evm indexer☆116Jul 4, 2026Updated 3 months ago
- A model-based testing framework for Quint + Rust☆103May 25, 2026Updated 5 months ago
- ☆10Oct 14, 2023Updated 3 years ago
- Wire is a networking library written in Zig, designed to simplify building non-blocking TCP-based client-server applications. It integrat…☆25May 27, 2025Updated last year
- Inert lets you use non-Sync values in Sync context☆16Jul 2, 2019Updated 7 years ago