RaitoBezarius/nixos-home

Stars
6
Rank 2,539,965 (Top 51 %)
Language
Nix
License
MIT License
Created over 4 years ago
Updated over 1 year ago

RaitoBezarius/nixos-home

RaitoBezarius

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

My NixOS home configuration

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

presentation-bluehats-sept2022-nixos

Ressources pour l'atelier Blue Hats sur NixOS

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