CD2H gitForager

Nicolas Braud-Santoni

Login: nbraud

Company: @IAIK, Graz University of Technology

Location: Graz, Steiermark, Austria

Bio: PhD student @IAIK by day, crypto-things, reliability and devops by night.

Blog: https://nicolas.braud-santoni.eu

Member of

Repositories

aac-tactics: This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
acme: :lock: acmetool, an automatic certificate acquisition tool for ACME (Let's Encrypt)
agnoster-zsh-theme: A ZSH theme designed to disclose information contextually, with a powerline aesthetic
ansible: My personal Ansible automation
ansible.core: Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications? automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.
ansible.dotfiles: Ansible role for deploying dotfiles
ansibuild: Ansible playbook for a Project Everest build box
apidsl: DSL for C APIs to aid consistency of naming schemes and comments.
Aquaria: Aquaria open source, forked from icculus.org due to inactivity. Has many enhancements compared to the official repo.
atheme: Atheme IRC Services
autopass: A rofi frontend for pass(1)
benchmarksgame: Git mirror of the Computer Language Benchmarks Game
binarydist: Go implementation of the bspatch algorithm
bootstrap: The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
bootstrap-vz: Bootstrap Debian images for virtualized environments
brightnessctl: A program to read and control device brightness
ddns: Lightweight UDP-based dynamic DNS updater
debconf18-landing: null
direnv: Unclutter your .profile
.dotfiles: null
e: null
efl: null
elementary: null
emotion_generic_players: null
evas_generic_loaders: null
exherbo-scripts: Miscelaneous Exherbo-related scripts
extrace: trace exec() calls system-wide
foundationdb: FoundationDB - the open source, distributed, transactional key-value store
grml-etc-core: Grmls core configuration files for zsh, vim, screen?
holes: find runs of zero bytes
ikistrap: Bootstrap 4 theme for ikiwiki.
iodine: Official iodine git repo
keyringer: null
libu2f-host: Yubico Universal 2nd Factor (U2F) Host C Library
libu2f-host-dpkg: debian packaging of libu2f-host
libu2f-server-dpkg: Debian packaging for libu2f-server
mblaze: Unix utilities to deal with Maildir
neveragaindottech.github.io: Source files for the neveragain.tech site
nicoo_exherbo: My Exherbo repository
ocaml: Read-only mirror of INRIA SVN
ocaml-benchs: Sources of the set of benchmarks distributed in OCamlPro/opam-bench-repo
ocaml-containers: A bunch of containers,written in different occasions. Probably not very high quality.
ocaml-re: Pure OCaml regular expressions, with support for Perl and POSIX-style strings
opam-repository: Package descriptions for OPAM
opam-termite: Opam repository for termite-related packages.
pam-u2f: Pluggable Authentication Module (PAM) for U2F
pisg: null
pkg-youtube-dl: Official Debian packaging of youtube-dl
rngd-rdrand: rdrand entropy collector for Ivy Bridge and later
sandstorm-website: Sandstorm.io public web site (Jekyll-based site that generates static content)
sds: null
shuffle-and-dance: Someone was wrong on the Internet
sslh: Applicative Protocol Multiplexer (e.g. share SSH and HTTPS on the same port)
subgraph_desktop_stretch: null
sway: i3-compatible Wayland compositor
syfco: Synthesis Format Conversion Tool
syncthing: Open Source Continuous File Synchronization
systemd: systemd upstream
terminology: null
tmpdir.py: Do Something With A Temporary Directory
topgit: TopGit - A different patch queue manager
torbrowser-launcher: Securely and easily download, verify, install, and launch Tor Browser in Linux
torspec: null
tox4j: New and improved java wrapper for Tox
u2f4moz: U2F support extension for Firefox
utils: Small and miscellaneous utilities.
vagrant-sbuild: Debian sbuild in-a-box
wafer: A wafer-thin web application for running small conferences. Built using Django.
wemux: Multi-User Tmux Made Easy
wgetpaste: null
WikiSort: work-in-progress implementation of WikiSort
xe: simple xargs and apply replacement
z3: The Z3 Theorem Prover
z3overlay: An overlay for the OCaml Z3 binding.

Commits To

Repository	Most Recent Commit	# Commits

This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.