Skip to content
@minatools

minatools

Popular repositories Loading

  1. minarepl minarepl Public

    Using a Clojure REPL to interact with a Mina node via GraphQL

    Clojure 1

  2. mina mina Public

    Forked from MinaProtocol/mina

    Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

    Jupyter Notebook

  3. libsnark libsnark Public

    Forked from scipr-lab/libsnark

    C++ library for zkSNARKs

    C++

  4. libff libff Public

    Forked from scipr-lab/libff

    Fork of libff, C++ library for Finite Fields and Elliptic Curves

    C++

  5. snarky snarky Public

    Forked from o1-labs/snarky

    OCaml DSL for verifiable computation

    HTML

  6. zexe zexe Public

    Forked from o1-labs/zexe

    Fork, for bazelization, of zexe: Rust library for decentralized private computation

    Rust

Repositories

Showing 10 of 22 repositories
  • snarkyjs Public Forked from o1-labs/o1js

    Typescript/Javascript framework for zk-SNARKs and zkApps

    minatools/snarkyjs’s past year of commit activity
    JavaScript 0 Apache-2.0 127 0 0 Updated Feb 22, 2023
  • ppx_version Public Forked from o1-labs/ppx_version

    Versioning of types with bin_prot serialization

    minatools/ppx_version’s past year of commit activity
    OCaml 0 Apache-2.0 3 0 0 Updated Mar 24, 2021
  • mina Public Forked from MinaProtocol/mina

    Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

    minatools/mina’s past year of commit activity
    Jupyter Notebook 0 Apache-2.0 613 1 0 Updated Mar 23, 2021
  • snarky Public Forked from o1-labs/snarky

    OCaml DSL for verifiable computation

    minatools/snarky’s past year of commit activity
    HTML 0 MIT 79 0 0 Updated Mar 21, 2021
  • minatools/ppx_optcomp’s past year of commit activity
    OCaml 0 MIT 5 0 0 Updated Mar 21, 2021
  • orocksdb Public Forked from domsj/orocksdb

    An OCaml RocksDb binding using ocaml-ctypes

    minatools/orocksdb’s past year of commit activity
    OCaml 0 MIT 14 0 0 Updated Mar 21, 2021
  • ocaml-sodium Public Forked from ahrefs/ocaml-sodium

    Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl

    minatools/ocaml-sodium’s past year of commit activity
    OCaml 0 28 0 0 Updated Mar 21, 2021
  • graphql_ppx Public Forked from o1-labs/graphql_ppx

    GraphQL PPX rewriter for Bucklescript/ReasonML

    minatools/graphql_ppx’s past year of commit activity
    OCaml 0 BSD-3-Clause 42 0 0 Updated Mar 14, 2021
  • marlin Public Forked from o1-labs/proof-systems

    A fork fork, for adding Bazel support

    minatools/marlin’s past year of commit activity
    Rust 0 101 0 0 Updated Mar 7, 2021
  • zexe Public Forked from o1-labs/zexe

    Fork, for bazelization, of zexe: Rust library for decentralized private computation

    minatools/zexe’s past year of commit activity
    Rust 0 220 0 0 Updated Mar 7, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…