☆14Apr 3, 2020Updated 5 years ago
Alternatives and similar repositories for system76-nixos
Users that are interested in system76-nixos are comparing it to the libraries listed below
Sorting:
- Using golang/dep to create a deps.nix file for go projects to package them for nixpkgs.☆34Dec 6, 2021Updated 4 years ago
- view RedFlagDeals.com from the command line☆10Jul 6, 2024Updated last year
- ☆11Nov 1, 2019Updated 6 years ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆34Feb 25, 2026Updated last week
- Linux From Scratch, but it's Nix☆37Jul 23, 2021Updated 4 years ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆50Feb 26, 2026Updated last week
- TaxonWorks (https://taxonworks.org) documentation.☆14Feb 24, 2026Updated last week
- A declarative and ergonomic internationalization for Rust using Fluent. Mirror of https://gitlab.archlinux.org/orhun/fluent-i18n☆19Sep 29, 2025Updated 5 months ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- Linux fork of FreeBSD crunch☆17Jan 30, 2012Updated 14 years ago
- libudev-compatible interface for devd☆15Nov 18, 2024Updated last year
- A portable linker for multiple file formats.☆13Aug 28, 2023Updated 2 years ago
- set of ELF tools☆12Sep 1, 2015Updated 10 years ago
- ☆26Updated this week
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Oct 13, 2021Updated 4 years ago
- Nexxus Stock Keeping☆15Jul 16, 2023Updated 2 years ago
- Code comment watcher that notifies when an issue is closed.☆10Oct 18, 2025Updated 4 months ago
- Aggressive MCTS chess engine.☆15Updated this week
- ☆10Oct 20, 2024Updated last year
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- Helpers for using router5 with Deku [MOVED]☆11Jun 26, 2017Updated 8 years ago
- Extract snippets from code specified by comments.☆11Oct 22, 2024Updated last year
- Stacked Pull Request Tool☆11Jul 8, 2023Updated 2 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- A source-based Linux distribution with an unwavering adherence to the UNIX philosophy☆10Oct 28, 2022Updated 3 years ago
- 9P kernel modules☆10Aug 25, 2014Updated 11 years ago
- Haskell Dependency Injection☆14Sep 1, 2018Updated 7 years ago
- Vello Sparse Strips .NET Bindings☆20Nov 16, 2025Updated 3 months ago
- ☆15Sep 24, 2025Updated 5 months ago
- guarded interaction trees☆11Jul 4, 2025Updated 8 months ago
- Exploration of building full stack single page application with Elixir and Phoenix LiveView☆13Nov 9, 2020Updated 5 years ago
- Arcan Workbench, Desktop- like script for Arcan [INACTIVE]☆10Jul 1, 2017Updated 8 years ago
- A color scheme inspired by the colors of rainy days☆13Jul 9, 2025Updated 7 months ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Sep 9, 2021Updated 4 years ago
- Add global illumination to rio☆10Nov 14, 2024Updated last year
- ☆11Apr 23, 2021Updated 4 years ago
- Simple & compliant implementation of common UNIX userspace utilities☆10Oct 23, 2024Updated last year
- ☆12Oct 9, 2025Updated 4 months ago
- Use the same module system that leverages NixOS to configure your emacs customization☆11Aug 6, 2022Updated 3 years ago