There are no reviews yet. Be the first to send feedback to the community and the maintainers!
buildxyz
Build your Nix package automaticallyarkheon
Track your Nix closures over timeAutobahnReact
Make realtime a breeze with React.esgi_securite_informatique_pratique
Sécurité informatique pratique à travers Python (cours de l'ESGI)compiler9000
An formalized micro-compiler in Lean 4bujin-scheduler
A scheduler for your TaskWarrior backlog to your CalDAVnixstorefs
A userspace Nix store filesystem implementation via FUSEifrit
An demonic library to write PE binariesens-courses
Notes de cours à l'ENS en tout genrenixos-home
My NixOS home configurationnixos-shim
Shim and related binaries signed via Hydrawannago
Python script to get a minimal list of directions to go from one place to another without opening your Favorite Journey Planner (TM) and wasting (at least) 60 hours to load & use a bugged GUI (with bugged JS).nixexprs
All my Nix expressionsberkovich-spaces
Attempt to formalize Berkovich spaces in Lean theorem proverunderstanding-nixpkgs
Python notebooks on nixpkgs statisticssysnum2020
Projet de sysnum 2020vimconfig
My fucking vimrc & vim bundles.nixos-x230
My NixOS configuration for X230react-spawn
My React Starter Kit, a strange mix of React, JSX, ES7 (Babel), ESLint, React-Hot-Loader, nothing safe for production!falcon-introduction
Slides used at Paris.py 6 for the presentation of Falcon (French).presentation-bluehats-sept2022-nixos
Ressources pour l'atelier Blue Hats sur NixOSrust-manager
A (Rust) manager to deploy docker micro-services, add proxy to nginx micro-service, add user and a lot of other things.avl-verification
Aeneas applied to AVL treesMaid-Bot
A Twitter bot made in Python, which is a cool maid ! (From Sakurasou)A0
A simple microkernel, A/0nix-qemu-bonding
nixit
Code transformation tooling for Nixuboot-nwa50ax
U-Boot "v1.03" for the NWA50AX (MT7621)buildxyz-examples
Examples of BuildXYZ resolutionsminimal-dropper
An attempt to create the most minimal portable executable dropper (and maybe undetectable?), drop all CRT/STL libs.horribleapi
An Horrible API.project_lu3in003_2019
Sorbonne University's programming project in LU3IN003 (2019)nix-scripts
Scripts around Nix/NixOS/NixOpsnix-lean3
Flake repository of all Lean 3 versions with support for emscriptenfederez-sdn-2022
Slides et code pour la présentation SDN à Federez 2022Love Open Source and this site? Check out how you can help us