epita / nixpie
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).
☆13Updated this week
Alternatives and similar repositories for nixpie:
Users that are interested in nixpie are comparing it to the libraries listed below
- Make Pegasus great again!☆60Updated last week
- Web application for Epita campus maps☆29Updated this week
- Harmless conflooses created to work on linux tiling window manager i3 for users forgetting to lock their session.☆19Updated 2 years ago
- Past subjects and other files, for the benefit of EPITA students.☆55Updated 2 weeks ago
- archive & indexer framework for EPITA☆25Updated 2 years ago
- A Clang-Format config to respect EPITA coding style☆13Updated 6 years ago
- Authenticate people on your Discord servers and give them roles automatically. All-in-one server back-end, Discord bot and front-end. Wor…☆60Updated last year
- 📚 homework manager for EPITA☆34Updated last year
- S3 project at EPITA - OCR x Sudoku solver☆13Updated 3 years ago
- The open source web portal for EPITA websites and projects.☆43Updated this week
- A better Chronos☆10Updated 3 years ago
- Keeping EPITA students organized☆15Updated 3 years ago
- Tiger compiler syntax vim-plugin☆8Updated 2 years ago
- ☆124Updated 2 months ago
- An experimental raytracer in LaTeX☆30Updated 3 years ago
- The official integrated developement environnement for naturL☆8Updated 2 years ago
- Mon école bug, c'est ici que vous retrouverez tous les incidents interne de l'EPITA.☆20Updated 2 years ago
- Ingenious solution to unify your bar's behavior☆18Updated last year
- Microkernel for x86_64 architecture☆48Updated 2 years ago
- A Python Discord bot to take attendance in class.☆17Updated 2 years ago
- Notes de cours d'ING1☆23Updated 4 years ago
- Salamanders' Console File Explorer -- S2 Project at EPITA☆10Updated 4 years ago
- 🌟📚 This repository tries to regroup every learning sources made by student☆24Updated 3 years ago
- A repository containing my configuration files☆38Updated 3 weeks ago
- Projet Voltaire made easy☆28Updated 6 years ago
- A bot allowing to create private voice channels on discord☆14Updated 2 years ago
- Convert dconf files (e.g. GNOME Shell) to Nix, as expected by Home Manager [maintainer=@jtojnar]☆255Updated 9 months ago
- NixOS profiles for servers [maintainer=@numtide]☆641Updated this week
- My personal NixOS config☆374Updated this week
- Conveniently and reasonably harden NixOS.☆212Updated last week