NixOS configurations for all of my machines as a single Nix flake
☆15Jan 11, 2026Updated last month
Alternatives and similar repositories for nix
Users that are interested in nix are comparing it to the libraries listed below
Sorting:
- 🕵️♀️ Observatoire de la qualité des démarches en ligne☆11Feb 27, 2024Updated 2 years ago
- Where we learn together about MY₿ONK's NixOS automagic.☆15Updated this week
- A command-line interface for interacting with the NeoLoad Web Platform...running tests, reporting results, etc...on your workstation or i…☆10Jan 20, 2026Updated last month
- Ansible Collection for Scaleway☆13Feb 19, 2026Updated 2 weeks ago
- 🤖 A discord moderation bot and IRC bridge☆10Jul 17, 2024Updated last year
- An LLM-driven Neuro-Symbolic Processor☆13Jun 18, 2025Updated 8 months ago
- blog about learning three.js☆22Mar 10, 2013Updated 12 years ago
- Hey, Elon Chrome Extension☆12Nov 9, 2022Updated 3 years ago
- Simple authentication toolkit for works with Yubikey☆13Updated this week
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- ☆12Apr 25, 2020Updated 5 years ago
- Bomberman inspired game made in the Bevy engine☆13Jan 25, 2026Updated last month
- Configuration for Nix on my macOS machines☆14Feb 26, 2026Updated last week
- rust-writing-os course of https://rust.os2edu.cn☆11Apr 29, 2022Updated 3 years ago
- Raspberry Pi OS for Wi-Fi connectivity on the Spotify Car Thing☆27Aug 10, 2025Updated 6 months ago
- Material cursor icon theme from https://www.deviantart.com/rosea92/art/Material-Design-Cursors-Dark-756850032☆10Feb 20, 2020Updated 6 years ago
- ☆23Jan 29, 2026Updated last month
- Next-GEN Confguration Template Generation Language☆12Jul 21, 2022Updated 3 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated 9 months ago
- Prometheus custom collector for JMX metrics of Kafka clients☆12Nov 19, 2020Updated 5 years ago
- Make RSS great again☆13Jan 24, 2021Updated 5 years ago
- Demonstrate direct to S3 file uploader (specifically zappa-s3-signature AWS Lambda function)☆12Oct 3, 2018Updated 7 years ago
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- My Agda blog/lab/playground☆12Feb 12, 2026Updated 3 weeks ago
- Real-time shopping list in Rust & Vanilla JS☆14Jul 20, 2023Updated 2 years ago
- Accepted JOSE papers☆12Feb 14, 2026Updated 2 weeks ago
- A flat container abstraction for Rust☆16Nov 24, 2025Updated 3 months ago
- String diagrams in LaTeX.☆17Feb 26, 2024Updated 2 years ago
- PoC HTTP proxy for scale-to-zero apps via the Fly machines API☆15Nov 8, 2021Updated 4 years ago
- Simple script to create ZFS Snapshots, but it has a check to only snapshot if the dataset has been written to. Also prunes the snapshots…☆16Dec 22, 2025Updated 2 months ago
- Minimal WGPU compute shader example☆10Jul 26, 2023Updated 2 years ago
- A 3d printed case design for Lichee Pi 4A☆11May 13, 2023Updated 2 years ago
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- Tests for a Youtube video looking into ZFS write amplifaction☆19Feb 8, 2025Updated last year
- Idem provides decentralized k-ordered ID generation.☆14Oct 13, 2020Updated 5 years ago
- Examples of krABMaga Rust ABM simulation framework☆14Dec 11, 2025Updated 2 months ago
- Auto rewrite v1 and v2 window rules to v3.☆30Feb 1, 2026Updated last month
- NixPak Packages (moved to https://github.com/nixpak/nixpak/tree/master/contrib)☆15Jul 12, 2025Updated 7 months ago
- Native Python datatype persistence in Redis.☆16Apr 11, 2011Updated 14 years ago