Linking pages
Linked pages
- Nix & NixOS | Declarative builds and deployments http://nixos.org 669 comments
- F*: A Proof-Oriented Programming Language http://fstar-lang.org 279 comments
- Node.js https://nodejs.org 193 comments
- Zulip: Open-source team chat with topic-based threading https://zulip.com/ 90 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 61 comments
- Flakes - NixOS Wiki https://nixos.wiki/wiki/Flakes#NixOS 42 comments
- opam - opam https://opam.ocaml.org/ 13 comments
- Download Nix / NixOS https://nixos.org/download.html#nix-install-macos 12 comments
- GitHub - DeterminateSystems/nix-installer: Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over a million installs. https://github.com/DeterminateSystems/nix-installer 11 comments
- jq https://jqlang.github.io/jq/ 3 comments
- rustup.rs - The Rust toolchain installer https://www.rustup.rs/ 0 comments
- GitHub - nix-community/nix-direnv: A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10] https://github.com/nix-community/nix-direnv 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - hacspec/hax: A Rust verification tool
See how to search.