thizanne/latex
Various files useful for latex redactions
Developer Profile
thizanne
Discovered public repositories for thizanne in the GitHub catalog.
thizanne/boggle
A Boggle game implementation
thizanne/guess-the-number
A "Guess the number" game, implemented in ASM
thizanne/mlcuddidl
Mirror of svn://scm.gforge.inria.fr/svn/mlxxxidl
thizanne/bddapron
Mirror of svn://scm.gforge.inria.fr/svnroot/bjeannet/pkg/bddapron
thizanne/daft
DAFT Allows File Transfers
thizanne/ocamlgraph
OCaml graph library
thizanne/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
thizanne/dotfiles
Various personal configuration files
thizanne/tiger
Toy compiler implementation in OCaml
thizanne/cormoran
Experimental static analyser for concurrent programs within the TSO relaxed memory model.
thizanne/ocaml-hamt
Implementation of the Hash Array Mapped Trie data structure in OCaml
thizanne/ocaml
The core OCaml system: compilers, runtime system, base libraries
thizanne/batteries-included
Batteries Included project