Popular repositoriesLoading

1. qtestqtestPublic

   Inline (Unit) Tests for OCaml

   OCaml 67 8

2. nfalibnfalibPublic

   NFA framework for INSA-CVL 4A class on Verification / Model-Checking

   Python 5 5

3. oh-my-zshoh-my-zshPublic

   Forked fromohmyzsh/ohmyzsh

   A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up you…

   Shell 1

4. opam-repositoryopam-repositoryPublic

   Forked fromocaml/opam-repository

   Package descriptions for OPAM

   OCaml 1

5. m2-crtm2-crtPublic

   Automatically exported from code.google.com/p/m2-crt

   Java

6. opam-packagesopam-packagesPublic