Coding-agent completion notifier for Slack DMs and Feishu/Lark chats, with Codex, Claude Code, Gemini CLI, OpenCode, and similar integrations.

A native gRPC client & server implementation with async/await support.

Delegate tasks to Codex and Gemini directly from within Claude Code.

setup your pinocchio project blazingly fast 💨

Manage complex tmux sessions easily

Apache Iggy: Hyper-Efficient Message Streaming at Laser Speed

StarkWare's next gen prover

Solarity Solidity Library

Making client-side ZK proving on mobile simple.

This project demonstrates how to prove arkworks circuits with rapidsnark by serializing arkworks constraint systems to Circom-compatible R1CS and WTNS formats

An ultra-high performance and flexible EVM. Written in zig

Go implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf

A SNARK using towers of binary fields, implemented in Rust .

Proving System For VEX

A Multi-Raft implementation in Rust.

Source code for VLDB'25: Falcon: Advancing Asynchronous BFT Consensus for Lower Latency and Enhanced Throughput

ingo accelerated stwo

Sync a Github repository with a Google Cloud Storage bucket.

libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…

Integration of IBC with Starknet

Zero-knowledge proof acceleration with GPUs for C++ and Rust

Verifiable FHE with GKR