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/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/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/Lagrange-Labs/deep-prove
Lagrange-Labs/deep-prove
Framework to prove inference of ML models blazingly fast
GitHub Repo
https://github.com/leanprover/lean4