bobot/gitlabhq
Project management and code hosting application. Follow us on twitter @gitlabhq
Developer Profile
bobot
Discovered public repositories for bobot in the GitHub catalog.
bobot/ocaml
Personal fork of OCaml
bobot/gitlab-shell
Replacement for gitolite
bobot/zpython
cpython for zrt
bobot/zerovm-samples
Sample code and libraries built for ZeroVM
bobot/slapos
Mirror of http://git.erp5.org/repos/slapos.git
bobot/zerovm
Open-source lightweight virtualization platform
bobot/merlin
Context sensitive completion for Ocaml in Vim and Emacs
bobot/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
bobot/opam-repository
Package descriptions for OPAM
bobot/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
bobot/laby
Learn programming, playing with ants and spider webs ;-)
bobot/CVC4.old-svn
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
bobot/FetedelascienceINRIAsaclay
Fête de la science INRIA saclay