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 databaseENS_sysres
An hurdish TCP/IP stackYoutube-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