search

anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Migration from zkp-compiler-shootout #1

Closed rokopt closed 2 years ago

rokopt commented 2 years ago

Migrate the geb directory from https://github.com/anoma/zkp-compiler-shootout.