Pinned Loading

1. ZoKrates ZoKrates Public

   Forked from Zokrates/ZoKrates

   A toolbox for zkSNARKS on Ethereum

   Rust 2 3

2. QuadVoting QuadVoting Public

   Quadratic Voting on Ethereum (POC)

   JavaScript 3 1

3. bellman-dsl bellman-dsl Public

   A toy DSL on top of Bellman

   Rust 5

4. Gigfindr Gigfindr Public

   [DEPRECATED] Find a gig in your city

   JavaScript

5. logikon_rust logikon_rust Public

   Forked from logikon-lang/logikon

   Rust 1

6. recursive-type-system recursive-type-system Public

   An experiment to bring more complex types to ZoKrates with little code duplication and a lot of compile time checks

   Rust 1 1