• Stars
    star
    2
  • Language
  • License
    MIT License
  • Created over 1 year ago
  • Updated over 1 year ago

Reviews

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

Repository Details

Ressources pour l'atelier Blue Hats sur NixOS

More Repositories

1

nixops-proxmox

NixOps plugin for Proxmox
Python
55
star
2

buildxyz

Build your Nix package automatically
Rust
54
star
3

arkheon

Track your Nix closures over time
Sass
18
star
4

AutobahnReact

Make realtime a breeze with React.
JavaScript
13
star
5

esgi_securite_informatique_pratique

Sécurité informatique pratique à travers Python (cours de l'ESGI)
Python
13
star
6

compiler9000

An formalized micro-compiler in Lean 4
Lean
11
star
7

bujin-scheduler

A scheduler for your TaskWarrior backlog to your CalDAV
Python
9
star
8

nixstorefs

A userspace Nix store filesystem implementation via FUSE
Nix
9
star
9

ifrit

An demonic library to write PE binaries
Rust
9
star
10

ens-courses

Notes de cours à l'ENS en tout genre
TeX
7
star
11

nixos-home

My NixOS home configuration
Nix
6
star
12

nixos-shim

Shim and related binaries signed via Hydra
Nix
6
star
13

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).
Python
6
star
14

nixexprs

All my Nix expressions
Nix
4
star
15

berkovich-spaces

Attempt to formalize Berkovich spaces in Lean theorem prover
Lean
4
star
16

understanding-nixpkgs

Python notebooks on nixpkgs statistics
Jupyter Notebook
3
star
17

sysnum2020

Projet de sysnum 2020
SystemVerilog
3
star
18

vimconfig

My fucking vimrc & vim bundles.
Vim Script
3
star
19

nixos-x230

My NixOS configuration for X230
Nix
3
star
20

react-spawn

My React Starter Kit, a strange mix of React, JSX, ES7 (Babel), ESLint, React-Hot-Loader, nothing safe for production!
JavaScript
3
star
21

falcon-introduction

Slides used at Paris.py 6 for the presentation of Falcon (French).
TeX
2
star
22

rust-manager

A (Rust) manager to deploy docker micro-services, add proxy to nginx micro-service, add user and a lot of other things.
Rust
2
star
23

A0

A simple microkernel, A/0
Zig
1
star
24

nix-qemu-bonding

Nix
1
star
25

buildxyz-examples

Examples of BuildXYZ resolutions
1
star
26

minimal-dropper

An attempt to create the most minimal portable executable dropper (and maybe undetectable?), drop all CRT/STL libs.
C
1
star
27

horribleapi

An Horrible API.
Python
1
star
28

project_lu3in003_2019

Sorbonne University's programming project in LU3IN003 (2019)
Haskell
1
star
29

nix-scripts

Scripts around Nix/NixOS/NixOps
Nix
1
star
30

nix-lean3

Flake repository of all Lean 3 versions with support for emscripten
Nix
1
star
31

Maid-Bot

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

federez-sdn-2022

Slides et code pour la présentation SDN à Federez 2022
Dhall
1
star
33

avl-verification

Aeneas applied to AVL trees
Lean
1
star