programskillforverification/agave
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Polkadot address: 12gcYUJzFF4x2kdBAZu5zbRd6o7HitBb3iRMuiVtemYuvBEt
Repositories
programskillforverification/octos
Octos - Agentic Operating Systems
programskillforverification/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
programskillforverification/tgoskits
An integrated repository for operating system and virtualization development
programskillforverification/nautilus_trader
Production-grade Rust-native trading engine with deterministic event-driven architecture
programskillforverification/alloy
Transports, Middleware, and Networks for the Alloy project
programskillforverification/hftbacktest
A high-frequency trading and market-making backtesting tool in Python and Rust, which accounts for limit orders, queue positions, and latencies, utilizing full tick data for trades and order books, with real-world crypto market-making examples for Binance Futures
programskillforverification/aderyn
Aderyn 🦜 Rust-based Solidity AST analyzer.
programskillforverification/octoscode
Octoscode - Octos's Coding Agent
programskillforverification/http_server_rs
programskillforverification/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
programskillforverification/IronMind
🦀 Decoder-only LLM built from scratch in pure Rust using Candle — no Python, no PyTorch. Gated DeltaNet + sparse attention, fine-grained MoE, native video/document understanding, long-horizon tool agents, quantization-aware training. Scales: Tiny (25M) to Large (1.3B).
programskillforverification/quorium
programskillforverification/rust-skills
A collection of 265 rules across 26 categories that AI coding agents can use to write idiomatic, fast, and safe Rust.
programskillforverification/RustBook
programskillforverification/blog
rcore-os Developer Blog
programskillforverification/oaqjp-final-project-emb-ai
final-project-emb-ai
programskillforverification/anchor
⚓ Solana Sealevel Framework
programskillforverification/alpenglow
programskillforverification/soldeer
Solidity Package Manager written in rust
programskillforverification/claude-code-sourcemap
programskillforverification/zeth
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
programskillforverification/echokit_box
ESP32 firmware for the EchoKit voice device
programskillforverification/llaisys
Let's Learn AI SYStem
programskillforverification/learning-tools
programskillforverification/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
programskillforverification/learning-in-opencamp
OpenCamp 训练营通用学习工具
programskillforverification/learning-lm-rs
programskillforverification/robrix
Robrix: a multi-platform Matrix chat client written in Rust, using the Makepad UI toolkit and the Robius app dev framework
programskillforverification/dora
DORA (Dataflow-Oriented Robotic Architecture) is middleware designed to streamline and simplify the creation of AI-based robotic applications. It offers low latency, composable, and distributed dataflow capabilities. Applications are modeled as directed graphs, also referred to as pipelines.