Nix PIE is the Nix and NixOS configuration used at EPITA for the school's computer labs (about 1,000 computers accross the 6 campuses in France).
☆31Sep 9, 2026Updated this week
Alternatives and similar repositories for nixpie
Users that are interested in nixpie are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Keeping EPITA students organized☆15Jan 27, 2022Updated 4 years ago
- A better Chronos☆10May 11, 2021Updated 5 years ago
- The web portal to EPITA websites and student projects.☆49Updated this week
- A Clang-Format config to respect EPITA coding style☆13Dec 3, 2018Updated 7 years ago
- Web application for Epita campus maps☆31Feb 17, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ctOS: The central operating system☆15Jul 30, 2026Updated last month
- A bash tool to create bootable images using Ansible, Docker and Dracut☆18Dec 16, 2024Updated last year
- Make Pegasus great again!☆65Jul 14, 2025Updated last year
- A Python Discord bot to take attendance in class.☆16Aug 28, 2022Updated 4 years ago
- Comprehensive configuration of my NixOS workstation☆11Nov 16, 2020Updated 5 years ago
- S3 project at EPITA - OCR x Sudoku solver☆12Feb 2, 2022Updated 4 years ago
- Git mirroring daemon☆43Apr 23, 2026Updated 4 months ago
- Harmless conflooses created to work on linux tiling window manager i3 for users forgetting to lock their session.☆18Apr 23, 2022Updated 4 years ago
- Simple VMs in NixOS☆16Dec 19, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Software distribution system for projects funded via Next Generation Internet (NGI)☆22Updated this week
- Répertoire officiel de changetondns.fr☆11Sep 16, 2024Updated last year
- Add specified programs (apps) on PATH.☆20Aug 26, 2025Updated last year
- simple netlify dynamic dns cli tool written in rust☆15Oct 26, 2025Updated 10 months ago
- Systemd unit generator for a verity protected Nix Store☆42Jul 25, 2026Updated last month
- Possibly the smallest compiler ever☆10Oct 2, 2017Updated 8 years ago
- Simplified Nix packaging with maximum added value.☆22Mar 7, 2026Updated 6 months ago
- NUR - https://github.com/nix-community/NUR☆13Mar 23, 2026Updated 5 months ago
- Official templates for Spin.☆17May 16, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- nix flake (preset) templates for the production of devops☆29Dec 20, 2023Updated 2 years ago
- ☆25Aug 26, 2026Updated 2 weeks ago
- ☆18Jul 2, 2022Updated 4 years ago
- ☆31Updated this week
- `nix develop`, but at build time☆32Jun 28, 2023Updated 3 years ago
- ppx_system is a syntax extension to known operating system at compile time☆12May 9, 2023Updated 3 years ago
- Projet Voltaire made easy☆28May 24, 2018Updated 8 years ago
- An auto-configuring reverse DNS name server☆11Jul 3, 2026Updated 2 months ago
- NixOS home and servers configuration☆49Sep 2, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Graphics library from OCaml, in a standalone repository☆77Nov 24, 2025Updated 9 months ago
- ☆12Mar 18, 2020Updated 6 years ago
- Dell iDrac module for Prometheus's SNMP Exporter☆18Mar 19, 2018Updated 8 years ago
- Central storage, management and access for important geospatial datasets☆35Nov 23, 2023Updated 2 years ago
- Adobe Reader DC Information Leak Exploit☆23Oct 13, 2022Updated 3 years ago
- An Ansible Role that installs Caddy on Linux.☆31Aug 10, 2024Updated 2 years ago
- Check security aspects of a second-level domain name.☆18May 31, 2024Updated 2 years ago