starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
A star delta has been computed for 62,252 of 63,107 tracked repositories in this period, and only those can be ranked in it.
A repository missing here has not been measured far enough back yet. That does not mean it did not move.
Star counts measured between 07:56 and 10:02 (BKK).
Cairo is the first Turing-complete language for creating provable programs for general computation.
The privacy-focused cryptocurrency
Stake-based threshold multi-signatures protocol
Hyperbridge scales verifiable interoperability
Minimal implementation of the Mimblewimble protocol.
The proof systems used by Mina
That's all 6 repositories in this period.