Name: nicoo
Type: User
Company: @lawful-evil, once it exists
Bio: PhDon't, formerly at @IAIK.
@Debian developer.
My chosen fields are privacy tech, cryptography engineering, distributed systems, and formal methods.
Location: Graz, Steiermark, Austria
Blog: https://nicolas.braud-santoni.eu
nicoo's Projects
age-encrypted secrets for NixOS and Home manager
My personal Ansible automation
Ansible role for deploying dotfiles
Ansible playbook for a Project Everest build box
Aquaria open source, forked from icculus.org due to inactivity. Has many enhancements compared to the official repo.
A rofi frontend for pass(1)
An implementation of contracts for Python.
Devour all outputs in a Nix flake.
A tool for managing symlinks.
SSH tarpit that slowly sends an endless banner
The Open English WordNet
Miscelaneous Exherbo-related scripts
Doom-compatible game engine
Kalman filters and other optimal and non-optimal estimation filters in Rust
Manage a user environment using Nix [maintainer=@rycee]
Artifact download tool for GitHub, PyPi, etc.
A recent files menu for mpv
Display the cgroups tree, annotated with memory usage
Project documentation with Markdown.
mpv script to skip sponsored segments of YouTube videos
As comprehensive a list of MX keyswitches as I can
My Exherbo repository
Nix, the purely functional package manager
nix-community infrastructure [maintainer=@zowoq]
Nix Packages collection
Sources of the set of benchmarks distributed in OCamlPro/opam-bench-repo
@ofborg tooling automation https://monitoring.ofborg.org/dashboard/db/ofborg