lanzaboote
Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur] (by nix-community)
flambda-backend
The Flambda backend project for OCaml (by ocaml-flambda)
| lanzaboote | flambda-backend | |
|---|---|---|
| 4 | 1 | |
| 671 | 84 | |
| 7.7% | - | |
| 8.9 | 9.8 | |
| 5 days ago | 4 days ago | |
| Rust | OCaml | |
| GNU General Public License v3.0 only | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
lanzaboote
Posts with mentions or reviews of lanzaboote.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-06-22.
-
What is there to NixOS that is not just `nix` the package/config/whatever manager?
Easy peasy secure boot with lanzaboote
-
Lanzaboote vs. bootspec-secureboot
I know of two projects for supporting Secure Boot on NixOS: Lanzaboote and bootspec-secureboot.
-
Nix-Powered Development with OCaml
Afaik it's not finished yet, but there recently has been quite a lot of activity regarding secureboot for nixos https://github.com/nix-community/lanzaboote/
-
It it secure to store LUKS full disk encryption keys in the TPM nowadays?
I've installed NixOS (a Linux distribution) to TerraMaster F2-423 NAS and enabled Secure boot with lanzaboote and LUKS full disk encryption. I enrolled my own secure boot keys becuase that looked like a requirement.
flambda-backend
Posts with mentions or reviews of flambda-backend.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-03-06.
-
Nix-Powered Development with OCaml
I was hoping this post would mention using OCaml with flambda[1] enabled. At least for my work, flambda seems to yield a ~10% speed up when compiling things. Can you get OCaml binaries with flambda enabled through Nix? With opam, I currently have to compile OCaml myself to enable it, as I am not aware of any binaries being distributed.
[1] https://github.com/ocaml-flambda/flambda-backend
What are some alternatives?
When comparing lanzaboote and flambda-backend you can also consider the following projects:
runix - A type-safe Rust interface to the Nix CLI
opam-nix - Turn opam-based OCaml projects into Nix derivations
nixos-apple-silicon - Resources to install NixOS bare metal on Apple Silicon Macs
ocaml-flake-example - An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
sandkasten - Run untrusted code in an isolated environment
devenv - Fast, Declarative, Reproducible, and Composable Developer Environments
book - V2 of Real World OCaml
nixos-cfgs - my NixOS system configs
nixpkgs - Nix Packages collection & NixOS
lanzaboote vs runix
flambda-backend vs opam-nix
lanzaboote vs nixos-apple-silicon
flambda-backend vs ocaml-flake-example
lanzaboote vs sandkasten
flambda-backend vs nixos-apple-silicon
lanzaboote vs ocaml-flake-example
flambda-backend vs devenv
lanzaboote vs devenv
flambda-backend vs book
lanzaboote vs nixos-cfgs
flambda-backend vs nixpkgs