mina
starlark
Our great sponsors
mina | starlark | |
---|---|---|
9 | 22 | |
1,936 | 2,221 | |
1.9% | 2.7% | |
10.0 | 4.5 | |
7 days ago | about 2 months ago | |
OCaml | Starlark | |
Apache License 2.0 | 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.
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!
starlark
- (The) Starlark Language
-
Apple releases Pkl – onfiguration as code language
The implementations and users page mentioned above:
https://github.com/bazelbuild/starlark/blob/master/users.md
- Language design of Starlark (compared to Python)
-
10 Ways for Kubernetes Declarative Configuration Management
Starlark: Starlark is a language for describing build transformations, inspired by Python, but with features that make it suitable for embedding in software like Bazel. It can be used for configuration generation due to its capability for deterministic evaluation and expressing complex build transformations.
-
How Big Should a Programming Language Be?
In the design of Starlark (https://github.com/bazelbuild/starlark), I often had to push back against new feature requests to keep the language simple. I explicitly listed simplicity as a design goal.i
Of course, the scope of the language is not the same as general purpose languages, but there's always pressure from the users to add more things. I also think many people underestimate the cost of adding new features: it's not just about adding the code in every compiler/interpreter, specifying every edge-case in a spec, updating all the tooling for the language and writing tutorials; it's also a cost on everyone who will have to read any of the code.
-
Launch HN: Moonrepo (YC W23) – Open-source build system
one of the benefits of starlark (unlike python): "Starlark is suitable for use in highly parallel applications. An application may invoke the Starlark interpreter concurrently from many threads, without the possibility of a data race, because shared data structures become immutable due to freezing." from https://github.com/bazelbuild/starlark/blob/master/spec.md - it's not python, you can't do recursion (!) and it's more limited (you can't read a file in bazel, and parse it, you have to make this operation into the graph somehow)
-
When to use Bazel?
You can do the same in Bazel which uses Starlark for its BUILD files. Starlark is a dialect of Python so it makes it super easy to work with.
-
[P] Docker alternative for AI/ML
Make sense. We do not use Python actually, the build language is starlark, which is the config lang used by bazel. https://github.com/bazelbuild/starlark
-
The Dhall Configuration Language
Have you seen Starlark? It's not too far from that, but safer in a number of ways: https://github.com/bazelbuild/starlark
- What change should Python 4 bring, in your opinion?
What are some alternatives?
Mina - Blazing fast deployer and server automation tool
yaml-reference-parser
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]
dhall - Maintainable configuration files
go-jsonnet
dhall-kubernetes - Typecheck, template and modularize your Kubernetes definitions with Dhall
particl-desktop - The GUI application for Particl Markeplace and PART coin wallet. A decentralized peer to peer marketplace –free, secure, private, untraceable.
starlark-go - Starlark in Go: the Starlark configuration language, implemented in Go
google-drive-ocamlfuse - FUSE filesystem over Google Drive
openapi-python-client - Generate modern Python clients from OpenAPI
octoDNS - Tools for managing DNS across multiple providers
cdk8s - Define Kubernetes native apps and abstractions using object-oriented programming