Linking pages
Linked pages
- Nix & NixOS | Declarative builds and deployments http://nixos.org 669 comments
- Poetry - Python dependency management and packaging made easy https://python-poetry.org/ 102 comments
- Flakes - NixOS Wiki https://nixos.wiki/wiki/Flakes#NixOS 42 comments
- The LLVM Compiler Infrastructure Project http://llvm.org 40 comments
- Rosette: About http://emina.github.io/rosette/ 29 comments
- [2205.12425] Katara: Synthesizing CRDTs with Verified Lifting https://arxiv.org/abs/2205.12425 20 comments
- Download Nix / NixOS https://nixos.org/download.html#nix-install-macos 12 comments
- GitHub - nix-community/nix-ld: Run unpatched dynamic binaries on NixOS [maintainer=@Mic92] https://github.com/Mic92/nix-ld 11 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - hydro-project/katara: Synthesize CRDTs from classic data types with verified lifting!
See how to search.