GritQL is a query language for searching, linting, and modifying code.
Repository Index
79,841 visible repositories in the index
1–3 of 3 · Most stars
Cairo is the first Turing-complete language for creating provable programs for general computation.
- starknet
- zero-knowledge-proofs
- zkp
- computational-integrity
FastSum: MD5-based file integrity verification tool for Windows
- fastsum-free
- file-integrity-check
- file-recovery
- home-security