dwarfmaster Goto Github PK

2sat

Solving the 2-SAT problem.

abod

Implementation of a single camera based obstacle detection algorithm.

abook_colors_patch

Some patch for abook colors. Cloned from https://gitorious.org/abook/abook/source/51847f5bee592bd07abbda526993f08da93fd355:

abook_extended_index

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

abook_parseur

A library to work with abook addressbooks.

absint

Abstract interpretation for a small subset of C

arcan

Arcan - [Display Server, Multimedia Framework, Game Engine] -> "Desktop Engine"

arkenfox-nixos

Utilities to use arkenfox/user.js in NixOS

astropong

Portage vers linux du jeu astropong, jeu de pong à plusieurs balles.

babel2

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

base16-schemes-source

A common list of schemes for base16-builders

base16-tomorrow-scheme

Tommorow scheme for base16

blossom

Implementation of the blossom algorithm

boxplot

Simplify boxplot drawing in LaTeX.

brainfuck

Brainfuck executer

cadavre_exquis

Un cadavre exquis en réseau, basé sur le modèle client-serveur.

cancer-game

Ce jeu vous met dans la peau d'une cellule cancéreuse qui cherche à se faire des camarades.

carte_de_visite

Code latex de ma carte de visite.

categories-in-lp

Experiments with category theory in LambdaPi

cdcl_sat_solver

New heuristic for MiniSAT, specific for solving HIPP problems

cli_newsbeuter

CLI program compatible with newbeuter RSS aggregator.

commutative-diagrams

A coq plugin to deal with commutative diagrams

config

All my config files and scripts to help the managing.

contact-manager

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

coq-hott-nix

Nix package of coq HoTT library

coquille

Interactive theorem proving with Coq in vim.

cow-notify

Execute custom command at notify events.

cubicle-vim-syntax

Syntax file for cubicle sources

cv

My CV

dante