hurlebouc's repositories
tower-http
HTTP specific Tower utilities.
texmath
A Haskell library for converting LaTeX math to MathML.
nullprone
NullAway with Error-Prone
channel
Implementing kind of coroutine JAVA
vim-config
configuration to use with vundle
workspace
This repository is outdated
dynovh
Script updating OVH DNS with current IP of the server using OVH API or old way using managerV3
these
LaTeX class for thesis
encfs
EncFS: an Encrypted Filesystem for FUSE.
kohonen
Réalisation d'un réseau de neurone suivant une carte de Kohonen
unison
fork of projet unison http://www.cis.upenn.edu/~bcpierce/unison/
mathpartir
It is a fork of http://gallium.inria.fr/~remy/latex/ just to put the code into git repository
libprem
Library for big integers computation
ShrinkDoc
This document gives one mean to reduce counter-examples
desassembleur
Étude statique d'un programme par propagation des constantes
language
Implentation of some computational results in language and automata theory
libmemmgmt
Implementation of concepts of memory management of Objective-C in C