type-systems
mina
| type-systems | mina | |
|---|---|---|
| 1 | 9 | |
| 40 | 1,938 | |
| - | 0.8% | |
| 0.0 | 10.0 | |
| over 2 years ago | 9 days ago | |
| OCaml | OCaml | |
| - | 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.
type-systems
-
Implementing Traits/Interfaces/Typeclasses in a type inference system?
I've recently implemented Algorithm W + Typeclasses here but now working on an alternative implementation which is based on HM(X) (see Type Inference with Constrained Types) which is more uniform and flexible (treats inference as constraint solving and thus can be extended with more types of constraints).
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?
Mina - Blazing fast deployer and server automation tool
go-jsonnet
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]
particl-desktop - The GUI application for Particl Markeplace and PART coin wallet. A decentralized peer to peer marketplace –free, secure, private, untraceable.
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
google-drive-ocamlfuse - FUSE filesystem over Google Drive
jrsonnet - Rust implementation of Jsonnet language
pyre-check - Performant type-checking for python.
kubernetes-mixin - A set of Grafana dashboards and Prometheus alerts for Kubernetes.
ocaml - The core OCaml system: compilers, runtime system, base libraries
awesome-zero-knowledge-proofs - A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).