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).
☆9Updated this week
Related projects ⓘ
Alternatives and complementary repositories for nixpie
- Harmless conflooses created to work on linux tiling window manager i3 for users forgetting to lock their session.☆19Updated 2 years ago
- A Clang-Format config to respect EPITA coding style☆13Updated 5 years ago
- Web application for Epita campus maps☆28Updated 6 months ago
- Make Pegasus great again!☆58Updated 3 months ago
- A better Chronos☆10Updated 3 years ago
- ☆64Updated this week
- Keeping EPITA students organized☆15Updated 2 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
- S3 project at EPITA - OCR x Sudoku solver☆13Updated 2 years ago
- Tiger compiler syntax vim-plugin☆8Updated 2 years ago
- archive & indexer framework for EPITA☆25Updated last year
- The official integrated developement environnement for naturL☆8Updated last year
- Past subjects and other files, for the benefit of EPITA students.☆52Updated last month
- Mon école bug, c'est ici que vous retrouverez tous les incidents interne de l'EPITA.☆20Updated 2 years ago
- The open source web portal for EPITA websites and projects.☆40Updated 2 weeks ago
- Notes de cours d'ING1☆23Updated 4 years ago
- An experimental raytracer in LaTeX☆30Updated 2 years ago
- Projet Voltaire made easy☆27Updated 6 years ago
- A Python Discord bot to take attendance in class.☆17Updated 2 years ago
- Microkernel for x86_64 architecture☆48Updated 2 years ago
- Implementation tips for posix shells, in french☆15Updated 4 years ago
- 🌟📚 This repository tries to regroup every learning sources made by student☆23Updated 3 years ago
- Panic at Tortuga Repo☆8Updated 3 years ago
- A repository containing my configuration files☆38Updated last month
- Resources used in Girls Can Code! summer camps☆11Updated last week
- Cheat detection with python☆10Updated 5 months ago
- A bot allowing to create private voice channels on discord☆14Updated 2 years ago