Lists (19)
agent
4 repositories
❤️ cairo
Interesting Cairo libraries and projects5 repositories
💛 contract development
3 repositories
cryptography(new)
zk.mpc2 repositories
distributed systems
8 repositories
ethereum client
personally track rust/go only7 repositories
fhe/he/io/lattice
13 repositories
🦀 fun rust stuff
Some fun rust projets in general15 repositories
ml
1 repository
OS
1 repository
physics/quantum
4 repositories
📍 Pin projects
alter of pin project in overview cus i need some list to access projects i involved easily6 repositories
riscv
i have a dream3 repositories
🤎 solidity libs
interesting solidity libraries7 repositories
Zig
2 repositories
zk
WIP ORGANIZING LIST24 repositories
zk automated tools
2 repositories
zkdsl
4 repositories
zkVM/VM/prover/verifier
34 repositories
Starred repositories
A cryptographic framework for building collaborative applications over an untrusted server. Research prototype.
A Git-compatible VCS that is both simple and powerful
An idiomatic, lean, fast & safe pure Rust implementation of Git
A little language inspired by Rust that compiles to Go
The home of the Plank Compiler and Sensei IR, its language agnostic EVM IR & backend.
High-Performance server for NATS.io, the cloud and edge native messaging system.
Fast filesystem snapshot and rollback tool for benchmarking
Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust
Compile programs directly into transformer weights. Includes a 2D convex-hull KV cache with O(log n) inference.
mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local
Experimental Linux microvm setup with a TypeScript Control Plane as Agent Sandbox
A Simple and Universal Swarm Intelligence Engine, Predicting Anything. 简洁通用的群体智能引擎，预测万物
A Unified Framework for High-Performance and Extensible LLM Steering
A curated list of resources for activation engineering
A library for mechanistic interpretability of GPT-style language models
OmX - Oh My codeX: Your codex is not alone. Add hooks, agent teams, HUDs, and so much more.
Lightweight coding agent that runs in your terminal
Fast, small, and fully autonomous AI personal assistant infrastructure, any OS, any platform — deploy anywhere, swap anything 🦀
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
Anthropic's original performance take-home, now open for you to try!
a language for fast, portable data-parallel computation
A payments protocol for the internet. Built on HTTP.
Source code for the X Recommendation Algorithm