polazarus/ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
Developer Profile
polazarus
Discovered public repositories for polazarus in the GitHub catalog.
polazarus/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
polazarus/poole
A damn simple static website generator. This is a mirror of the repository hosted at BitBucket.
polazarus/ocamlyices2
Yices 2 SMT solver binding for OCaml
polazarus/OFSM
Finite State Machine for Ocaml
polazarus/node
evented I/O for v8 javascript
polazarus/z3-installer
An installer for older versions of Microsoft Z3 SMT solver and its Ocaml binding under Linux (NOT MAINTAINED)
polazarus/oclock
Precise POSIX clock for OCaml
polazarus/clerk
A configuration file loader for OCaml
polazarus/ocamlyices
Yices SMT solver's binding for the OCaml programming language
polazarus/gedit-makefiletab
A Gedit plugin to automatically use tabulations when editing Makefiles, see http://git.gitano.org.uk/personal/liw/makefiletab3.git/ for up-to-date plugin