Skip to content

@minatools minatools

Change the repository type filter

All

    Repositories list

    22 repositories

    • snarkyjs

      Public
      Typescript/Javascript framework for zk-SNARKs and zkApps
      JavaScript
      •
      Apache License 2.0
      •173•0•0•0•Updated Feb 22, 2023Feb 22, 2023

    • ppx_version

      Public
      Versioning of types with bin_prot serialization
      OCaml
      •
      Apache License 2.0
      •3•0•0•0•Updated Mar 24, 2021Mar 24, 2021

    • mina

      Public
      Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
      Jupyter Notebook
      •
      Apache License 2.0
      •583•0•1•0•Updated Mar 23, 2021Mar 23, 2021

    • snarky

      Public
      OCaml DSL for verifiable computation
      HTML
      •
      MIT License
      •86•0•0•0•Updated Mar 21, 2021Mar 21, 2021

    • ppx_optcomp

      Public
      OCaml
      •
      MIT License
      •5•0•0•0•Updated Mar 21, 2021Mar 21, 2021

    • orocksdb

      Public
      An OCaml RocksDb binding using ocaml-ctypes
      OCaml
      •
      MIT License
      •15•0•0•0•Updated Mar 21, 2021Mar 21, 2021

    • ocaml-sodium

      Public
      Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
      OCaml
      •28•0•0•0•Updated Mar 21, 2021Mar 21, 2021

    • graphql_ppx

      Public
      GraphQL PPX rewriter for Bucklescript/ReasonML
      OCaml
      •
      BSD 3-Clause "New" or "Revised" License
      •41•0•0•0•Updated Mar 14, 2021Mar 14, 2021

    • marlin

      Public
      A fork fork, for adding Bazel support
      Rust
      •139•0•0•0•Updated Mar 7, 2021Mar 7, 2021

    • zexe

      Public
      Fork, for bazelization, of zexe: Rust library for decentralized private computation
      Rust
      •
      Other
      •249•0•0•0•Updated Mar 7, 2021Mar 7, 2021

    • minarepl

      Public
      Using a Clojure REPL to interact with a Mina node via GraphQL
      Clojure
      •
      Eclipse Public License 2.0
      •0•1•0•0•Updated Jan 19, 2021Jan 19, 2021

    • c-reference-signer

      Public
      C
      •
      Other
      •23•0•0•0•Updated Jan 5, 2021Jan 5, 2021

    • rpc_parallel

      Public
      Type-safe library for building parallel applications, built on top of Async's Rpc module.
      OCaml
      •
      MIT License
      •14•0•0•0•Updated Dec 18, 2020Dec 18, 2020

    • ocaml-extlib

      Public
      Extended Standard Library for OCaml
      OCaml
      •
      Other
      •30•0•0•0•Updated Dec 18, 2020Dec 18, 2020

    • async_kernel

      Public
      fork of async_kernel with tracing support
      OCaml
      •
      MIT License
      •32•0•0•0•Updated Dec 18, 2020Dec 18, 2020

    • signer-reference

      Public
      OCaml
      •3•0•0•0•Updated Nov 24, 2020Nov 24, 2020

    • libp2p_helper

      Public
      Mina libp2p_helper
      Starlark
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 9, 2020Oct 9, 2020

    • procps

      Public
      Mirror of gitlab repo
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Aug 29, 2020Aug 29, 2020

    • libff

      Public
      Fork of libff, C++ library for Finite Fields and Elliptic Curves
      C++
      •
      Other
      •96•0•0•0•Updated Aug 24, 2020Aug 24, 2020

    • libsnark

      Public
      C++ library for zkSNARKs
      C++
      •
      Other
      •591•0•0•0•Updated Aug 21, 2020Aug 21, 2020

    • digestif

      Public
      Simple hash algorithms in OCaml
      OCaml
      •
      MIT License
      •29•0•0•0•Updated Jul 3, 2020Jul 3, 2020

    • tablecloth

      Public
      An ergonomic, cross-platform, standard library for ReasonML and OCaml
      OCaml
      •
      MIT License
      •49•0•0•0•Updated Mar 24, 2020Mar 24, 2020
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.