Stars
Main game repository for Beyond All Reason.
😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]
Generate Nix packages from URLs with hash prefetching, dependency inference, license detection, and more [maintainer=@figsoda]
The Haskell Optimization Handbook
Simple verification of Rust programs via functional purification in Lean 2(!)
Visualise which gc-roots to delete to free some space in your nix store
Multiplayer Civilization type game for WASM-4 fantasy game console
Mommy's here to support you when running cargo~
Deobfuscate obfuscator.io, unminify and unpack bundled javascript
Browser extension that generates API specs for any app or website
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.
Weekly updated nix-index database [maintainer=@Mic92]
Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.
⠕ Universal Package Manager - Python, Node.js, Ruby, Emacs Lisp.
a Linux distribution to research fast package management
Interactively browse dependency graphs of Nix derivations.
Install NixOS everywhere via SSH [maintainers=Mic92, Lassulus, phaer, Enzime]
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source …