Lists (1)
Stars
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications!
On chain gambing bookmaker, deployed on Fuel Network
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
A Git-compatible VCS that is both simple and powerful
A standalone service that commits Fuel block data to L1 / DA
A template that allow you to build new predicates
Faster way to switch between clusters and namespaces in kubectl
🐶 Kubernetes CLI To Manage Your Clusters In Style!
A Cardano bot challenge to showcase the capabilities of the eUTxO model.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
The Ethereum Improvement Proposal repository
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
Open-source Smart Order Router framework to connect liquidity from the Genius Yield DEX
the official Rust and C implementations of the BLAKE3 cryptographic hash function
SHA256 WebGPU Compute Shader (Kernel) Written in Rust
Various projects related to WASM, each in it's own branch, so that I don't have 50 repositories.
A language binding generator for WebAssembly interface types
Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.