Moozonian
Web Images Developer News Books Maps Shopping Moo-AI
Showing results for prove
GitHub Repo https://github.com/actions/attest-build-provenance

actions/attest-build-provenance

Action for generating build provenance attestations for workflow artifacts
GitHub Repo https://github.com/zcash/halo2

zcash/halo2

The Halo2 zero-knowledge proving system
GitHub Repo https://github.com/scroll-tech/scroll-prover

scroll-tech/scroll-prover

Scroll zkEVM Playground
GitHub Repo https://github.com/fukamachi/prove

fukamachi/prove

Yet another unit testing framework for Common Lisp
GitHub Repo https://github.com/leanprover/lean3

leanprover/lean3

Lean Theorem Prover
GitHub Repo https://github.com/Provenance-Emu/Provenance

Provenance-Emu/Provenance

iOS & tvOS multi-emulator frontend, supporting various Atari, Bandai, NEC, Nintendo, Sega, SNK and Sony console systems… Get Started: https://wiki.provenance-emu.com |
GitHub Repo https://github.com/selfxyz/self

selfxyz/self

Prove your self
GitHub Repo https://github.com/Lagrange-Labs/deep-prove

Lagrange-Labs/deep-prove

Framework to prove inference of ML models blazingly fast
GitHub Repo https://github.com/Z3Prover/z3

Z3Prover/z3

The Z3 Theorem Prover
GitHub Repo https://github.com/leanprover/lean4

leanprover/lean4

Lean 4 programming language and theorem prover