Starred repositories
Surfpool is the best place to train before surfing Solana.
A modular, documentation-driven framework using Cursor custom modes (VAN, PLAN, CREATIVE, IMPLEMENT) to provide persistent memory and guide AI through a structured development workflow with visual …
Vundle, the plug-in manager for Vim
All-in-one LLM CLI tool featuring Shell Assistant, Chat-REPL, RAG, AI Tools & Agents, with access to OpenAI, Claude, Gemini, Ollama, Groq, and more.
CLI tool to generate documentation page of git fork diff
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated. 8000
A plugin to edit and view Excalidraw drawings in Obsidian
Zero-knowledge virtual machine written in Rust
Low-level language for encoding AIR of computations
Create book from markdown files. Like Gitbook but implemented in Rust
Write your own virtual machine for the LC-3 computer!
Roguelike tunnel generator in LC3 assembly. (Homework)
这是一份从多个角度详细讲解fault proof机制的文档，目的是帮助初学者快速理解fault proof的工作原理及其具体的代码细节。
DEPRECATED in favor of https://github.com/madara-alliance/madara
This plugin allows to export directory/single markdown to a folder. support output format(html/markdown)
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
This repo contains kinds of zkp scheme in current market
LLM based autonomous agent that conducts deep local and web research on any topic and generates a long report with citations.
A collection of awesome local-first projects including offline-first and collaboration functionality
A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.