minaprotocol Goto Github PK

app-mina

Ledger app for Mina

async_kernel

fork of async_kernel with tracing support

c-reference-signer

coda-devops-interview

coda-python-client

This project provides a lightweight wrapper around the Coda Daemon's GraphQL Endpoint

comdex

cuda-fixnum

Extended-precision modular arithmetic library that targets CUDA.

deb-s3

MinaProtocol's fork of deb-s3/deb-s3

digestif

Simple hash algorithms in OCaml

docs

Mina documentation website

flake-buildkite-pipeline

Mina owned fork of flake-buildkite-pipeline.

flake-compat

Mina owned fork of flake-compat.

flake-utils-plus

Mina owned fork. Use Nix flakes without any fluff.

flockenzeit

Mina owned fork. Datetime manipulation library for Nix

gitignore.nix

Mina owned fork. Nix functions for filtering local git sources

gpu-groth16-prover-3x

On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!

graphiql-with-extensions

A convenience package for those who just want a single-line drop-in replacement for existing GraphiQL usage

homebrew-mina

A Homebrew tap repo for mina

issues-experiment

Experiment to gather feedback from the community on new issue templates

kademlia

A haskell library implementing the Kademlia DHT

kimchi-stubs-vendors

ledger-coda-app

mina

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

mina-grants

All contents related to the Mina grant program and projects in scope

mina-rs

Rust implementation of the Mina protocol, targeting Wasm and ARM architectures.

mips

mix-to-nix

Mina owned fork. Generate sandbox buildable Nix expression from Mix lock file

nix-filter

Mina owned fork. A small self-container source filtering lib

nix-npm-buildpackage

Mina owned fork. Build nix packages that use npm/yarn

nix-utils

Mina owned fork. Nix utilities