nix-embedded
jk
Our great sponsors
nix-embedded | jk | |
---|---|---|
1 | 9 | |
2 | 399 | |
- | 0.3% | |
0.0 | 0.0 | |
almost 3 years ago | over 1 year ago | |
C | Go | |
- | 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.
nix-embedded
-
The Curse of NixOS
Yeah I agree here, I used to find Nix somewhat unintuitive but I have now managed a few non-trivial projects. One being to package Xilinx ISE as a flake [0], and another to build a non-volatile Linux image using busybox and runit [1]. For the latter I still haven't quite gotten where I want but that's because I realised I needed dbus for avahi and dbus is just so ridiculously complex.
[0] - https://github.com/benpye/nix-fpga-tools/
[1] - https://github.com/benpye/nix-embedded
jk
- Jsonnet – The Data Templating Language
-
The Curse of NixOS
People have tried: https://github.com/jkcfg/jk
But yeah I agree. The thing is, if all you need is robust determinism why do you need a full functional language with currying and other complex concepts?
Google had the same problem for Bazel, and their solution (Starlark) is way easier to understand.
-
Pants vs. Bazel: Why Pants may be the right choice for your team
If I were writing a build system today (and I did just write one actually to test out some ideas) I would use Typescript for the language with something like jk to provide hermeticity. Typescript has many advantages, especially over Python, but mainly:
-
The Perfect Configuration Format? Try TypeScript
It's possible to sandbox most languages, and with some work you can probably make them deterministic too.
Here's an example: https://github.com/jkcfg/jk
That beats having to learn an entirely new language.
-
Cue: A new language for data validation
Maybe Javascript? A lot of web tools support Javascript config files. There's this nice-looking effort to provide a hermetic execution environment for them: https://github.com/jkcfg/jk and if you use Typescript you get an extremely good static type system too. Plus the language is already very well known with loads of tool support and documentation.
Definitely what I would use today.
-
What is the difference between JSON and YAML?
If you think "but I need conditionals and file inclusion and ..." then maybe consider just allowing a full programming language instead. Someone pointed me to jk which looks like it is heading in the right direction, except that it outputs YAML by default for some insane reason.
-
Boa release v0.13
You may be interested in jk. If you don't want to use a special purpose configuration language (jsonnet, cue, dhall, etc), this is a nice alternative that uses js in a hermetic runtime (but see their open issues for progress on that). They seem to also be adding native typescript support so you could even have type checking built-in.
What are some alternatives?
impermanence - Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]
vm2 - Advanced vm/sandbox for Node.js
nix-fpga-tools
dhall-lang - Maintainable configuration files
nixos-beginners-handbook - The missing handbook for NixOS beginners
pants - The Pants Build System
aconfmgr - A configuration manager for Arch Linux
hof - Framework that joins data models, schemas, code generation, and a task engine. Language and technology agnostic.
star-history - The missing star history graph of GitHub repos - https://star-history.com
FlatBuffers - FlatBuffers: Memory Efficient Serialization Library
rfcs - The Nix community RFCs
jsonnet - Jsonnet - The data templating language