RaitoBezarius/presentation-bluehats-sept2022-nixos

Stars
2
Language
License
MIT License
Created about 2 years ago
Updated about 2 years ago

RaitoBezarius/presentation-bluehats-sept2022-nixos

RaitoBezarius

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Ressources pour l'atelier Blue Hats sur NixOS

buildxyz

Build your Nix package automatically

nixops-proxmox

NixOps plugin for Proxmox

arkheon

Track your Nix closures over time

AutobahnReact

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 4

bujin-scheduler

A scheduler for your TaskWarrior backlog to your CalDAV

nixstorefs

A userspace Nix store filesystem implementation via FUSE

ifrit

An demonic library to write PE binaries

ens-courses

Notes de cours à l'ENS en tout genre

nixos-home

My NixOS home configuration

nixos-shim

Shim and related binaries signed via Hydra

wannago

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 expressions

berkovich-spaces

Attempt to formalize Berkovich spaces in Lean theorem prover

understanding-nixpkgs

Python notebooks on nixpkgs statistics

Jupyter Notebook

sysnum2020

Projet de sysnum 2020

vimconfig

My fucking vimrc & vim bundles.

nixos-x230

My NixOS configuration for X230

react-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).

rust-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 trees

Maid-Bot

A Twitter bot made in Python, which is a cool maid ! (From Sakurasou)

A0

A simple microkernel, A/0

nix-qemu-bonding

nixit

Code transformation tooling for Nix

uboot-nwa50ax

U-Boot "v1.03" for the NWA50AX (MT7621)

buildxyz-examples

Examples of BuildXYZ resolutions

minimal-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/NixOps

nix-lean3

Flake repository of all Lean 3 versions with support for emscripten

federez-sdn-2022

Slides et code pour la présentation SDN à Federez 2022