The fastest, most feature-complete zkVM for developers.

A curated list of zkVM, zero-knowledge virtual machine

Distributed reliable key-value store for the most critical data of a distributed system

A community-maintained curated list of awesome resources of RISC Zero.

🤗 smolagents: a barebones library for agents. Agents write python code to call tools and orchestrate other agents.

A platform where data providers can share encrypted datasets for AI model training. ICP smart contracts ensure fair payments, and Calimero preserves data confidentiality.

an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

A curated list of Zero Knowledge links, mostly focusing on blockchain.

Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp

Full toolkit for running an AI agent service built with LangGraph, FastAPI and Streamlit

The fast Rust-based web bundler with webpack-compatible API 🦀️

Monorepo of halo2 crates

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

The smart contract security training ground for developers, security researchers and educators.

Rust course taught at FEI VŠB-TUO.

Rust library to read, manipulate and write PDF files.

😎 Awesome lists about all kinds of interesting topics

⬛️ CLI tool for saving complete web pages as a single HTML file

All things Uniswap

Open Source Continuous File Synchronization

Rust bindings for the Python interpreter

Super secret 100% practical EVM course. Please do not share

Animation engine for explanatory math videos

rust library to extract the raw data and some metadata from digital camera images

A curated list of awesome Go frameworks, libraries and software

Sketch and take handwritten notes.