Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/o1-labs/snarky
OCaml DSL for verifiable computation
https://github.com/o1-labs/snarky
Last synced: about 2 months ago
JSON representation
OCaml DSL for verifiable computation
- Host: GitHub
- URL: https://github.com/o1-labs/snarky
- Owner: o1-labs
- License: mit
- Created: 2018-03-02T01:34:09.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2024-05-13T21:26:33.000Z (4 months ago)
- Last Synced: 2024-06-27T22:59:33.660Z (3 months ago)
- Language: OCaml
- Size: 15.6 MB
- Stars: 487
- Watchers: 45
- Forks: 72
- Open Issues: 8
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-ethereum-virtual-machine - snarky