There are no reviews yet. Be the first to send feedback to the community and the maintainers!
arkenfox-nixos
Utilities to use arkenfox/user.js in NixOScommutative-diagrams
A coq plugin to deal with commutative diagramshome-nix
My dotfile as managed by nix with home-managermach-ipc
GNU Mach IPC mechanism examplesnotification
Notification system for x11 based system using xcb.Babel2
The public release of the Babel2 framework, a framework for Fluid Construction Grammar, multi-agent experiments and Incremental Recruitment Language.m9u
Fork of the m9u music server from http://sqweek.net/code/m9u/abod
Implementation of a single camera based obstacle detection algorithm.absint
Abstract interpretation for a small subset of Cproject-manager
Simple software to manage a tree of projectsabook_parseur
A library to work with abook addressbooks.rss_filters
RSS filters for newbeuter.empilathor
Ce programme sert à controller un périphérique fischertechnik par bluetooth.stereo_calibration
Calibrate and compute the disparity map of stereo camera input.rsscli
Small CLI RSS feed manager compatible with newsboat databasetextToMorse
Lit un fichier texte et l'affiche en morse via la led de son du PC.Youtube-Perl-Scripts
A set a scripts to use youtube as a music source.SMT-solver
A simple SMT solver to experiment oncontact-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.hashcode17-training
Pizza exercice for Google HashCode 2017 trainingLove Open Source and this site? Check out how you can help us