Luc Chabassier

arkenfox-nixos. Utilities to use arkenfox/user.js in NixOS

commutative-diagrams. A coq plugin to deal with commutative diagrams

home-nix. My dotfile as managed by nix with home-manager

Babel2. The public release of the Babel2 framework, a framework for Fluid Construction Grammar, multi-agent experiments and Incremental Recruitment Language.

notification. Notification system for x11 based system using xcb.

mach-ipc. GNU Mach IPC mechanism examples

abod. Implementation of a single camera based obstacle detection algorithm.

m9u. Fork of the m9u music server from http://sqweek.net/code/m9u/

absint. Abstract interpretation for a small subset of C

rss_filters. RSS filters for newbeuter.

abook_parseur. A library to work with abook addressbooks.

project-manager. Simple software to manage a tree of projects

coquille. Interactive theorem proving with Coq in vim.

SMT-solver. A simple SMT solver to experiment on

hashcode17-training. Pizza exercice for Google HashCode 2017 training

greenclip. Simple clipboard manager to be integrated with rofi - Static binary available

rsscli. Small CLI RSS feed manager compatible with newsboat database

ENS_sysres. An hurdish TCP/IP stack

Youtube-Perl-Scripts. A set a scripts to use youtube as a music source.

textToMorse. Lit un fichier texte et l'affiche en morse via la led de son du PC.

empilathor. Ce programme sert à controller un périphérique fischertechnik par bluetooth.

contact-manager. A simple contact manager written in gawk compatible with abook adressbook files.

abook_extended_index. A clone a abook http://abook.sourceforge.net/ with the extend_index patch.

stereo_calibration. Calibrate and compute the disparity map of stereo camera input.