A data index and query language over Markdown files, for https://obsidian.md/.

An interactive and powerful Git interface for Neovim, inspired by Magit

Lean 定理证明

Simplified educational python plonk implementation

A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from ...

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility...

Elliptic curve mathematics including Tate and Weil pairings for BLS signatures and zk-SNARK algor...

A powerful web framework that can make your work easier