dhall-manual
mina
dhall-manual | mina | |
---|---|---|
1 | 9 | |
46 | 1,938 | |
- | 0.8% | |
10.0 | 10.0 | |
almost 4 years ago | 5 days ago | |
OCaml | ||
GNU General Public License v3.0 or later | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
dhall-manual
mina
- The Dhall Configuration Language
- Why dont block producers generate their own snark proofs?
-
where get my mnemonic words
I installed Devnet Pre-Release 1.2.1alpha1 and created an account by command "mina accounts create", but no mnemonic words are displayed ,where can I find it?
- Mina: Lightweight, Constant-Sized Blockchain
- Mina Snapps are close than ever
- new mainnet beta release 1.2.0beta1 available
- Why are there so many snarks generated without fees?
- Mina protocol news! Useful information!
What are some alternatives?
kubernetes-mixin - A set of Grafana dashboards and Prometheus alerts for Kubernetes.
Mina - Blazing fast deployer and server automation tool
jrsonnet - Rust implementation of Jsonnet language
go-jsonnet
dhall-aws-cloudformation - Typecheck, template and modularize your AWS CloudFormation with Dhall
coda - Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security. [Moved to: https://github.com/MinaProtocol/mina]
ytt - YAML templating tool that works on YAML structure instead of text
particl-desktop - The GUI application for Particl Markeplace and PART coin wallet. A decentralized peer to peer marketplace –free, secure, private, untraceable.
skycfg - Skycfg is an extension library for the Starlark language that adds support for constructing Protocol Buffer messages.
oil - Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
octoDNS - Tools for managing DNS across multiple providers