dhall-aws-cloudformation
mina
dhall-aws-cloudformation | mina | |
---|---|---|
2 | 9 | |
28 | 1,946 | |
- | 1.2% | |
6.6 | 10.0 | |
2 months ago | 2 days ago | |
Haskell | OCaml | |
BSD 3-clause "New" or "Revised" License | 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-aws-cloudformation
-
The Dhall Configuration Language
I have been writing a fair amount of Dhall using autogenerated CloudFormation bindings ( https://github.com/jcouyang/dhall-aws-cloudformation/ ). It is a fantastic way to reduce boilerplate and factor out recurring blobs. My main frustration is that the type checker is not smart enough (or maybe the type system is undecidable?) - every time you want to use a polymorphic function, you must pass in the type parameters yourself (this is also true for empty lists and `None`). This makes simple FP idioms extremely noisy, to the point where you're better off writing longhand. In a language that's meant to be alleviating YAML/JSON boilerplate.
It's still a massive improvement, but it could be so much better if the typechecker was smarter.
- Typecheck and Modularize AWS CloudFormation with Dhall
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?
dhall-nix
Mina - Blazing fast deployer and server automation tool
cachix - Command line client for Nix binary cache hosting:
go-jsonnet
jrsonnet - Rust implementation of Jsonnet language
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.
shake-dhall - Facilities for using Shake + dhall
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!
dhall-manual - The Dhall Configuration Language Manual
octoDNS - Tools for managing DNS across multiple providers