Starred repositories
427
results
for source starred repositories
Clear filter
Ethereum Proof-of-Stake Consensus Specifications
Transforms complex documents like PDFs into LLM-ready markdown/JSON for your Agentic workflows.
Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.
pvac-hfhe: PoC for publicly verifiable arithmetic computations with hypergraph based homomorphic encryption over Fp (p = 2^127 - 1), omissions for large numbers and excluded the transfer mechanism …
A 5-20x faster experimental Homebrew alternative
Nvim plugin for reviewing PRs with side by side diffs, inline comments, and persistent review state.
Pure Data - a free real-time computer music system
Lock-free MPSC channel in Zig achieving 180+ billion messages/second via ring-decomposed architecture
Terminal RSS Reader for Digital Minimalists in Zig — Tool for Escaping the Doomscroll
Hardcaml is an OCaml library for designing hardware.
C implementation of Lean consensus for post-quantum Ethereum.
Prometheus metrics for library and application developers
A Rust crate that provides hard-to-misuse rigid body transforms (aka "spatial math") for engineers with other things to worry about than linear algebra.
A pure zig implementation of hash based signatures inspired from the rust implementation https://github.com/leanEthereum/leanSig
Lean Ethereum protocol specifications and test vector generation framework.
An ultra-high performance and flexible EVM. Written in zig