Stars
Hands-on Sui dApp development with Move and React. Create a voting system app. Learn smart contracts coding.
Dafny is a verification-aware programming language
luishsr / pocketOS
Forked from HasiniSama/pocketOSA real-mode x86 operating system that is interrupt-driven and single-tasking.
Official implementation of the Pocket Network Protocol
32-bit operating system written from scratch, with alternative user interface, designed for older computers with intention to provide system that will make them usable again
Nest framework TypeScript starter ☕
Reference implementation of the OpenRarity protocol with Python.
luishsr / rust-clippy
Forked from rust-lang/rust-clippyA bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Code examples, data structures, and links from my book, Rust Atomics and Locks.
New version of Mt Pelerin DeFi middleware
A pure-Rust implementation of Bulletproofs using Ristretto.
Elenore23 / chains
Forked from ethereum-lists/chainsprovides metadata for chains
too make life what easier
Minimalist Web Server for Linux written in x64 Assembly
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
Ethereum JSON-RPC multi-transport client. Rust implementation of web3 library. ENS address: rust-web3.eth
16-bit CPU for Excel, and related files