Pinned Repositories
opam-repository
Main public package repository for opam, the source package manager of OCaml.
eliom
Multi-tier framework for programming web and mobile applications in OCaml.
js_of_ocaml
Compiler from OCaml to Javascript.
lwt
OCaml promises and concurrent I/O
dotfiles
inez
A Constraint Solver
pb-sat
SAT-based Pseudo-Boolean Solver
pub
My academic publications
vasilisp's Repositories
vasilisp/inez
A Constraint Solver
vasilisp/pb-sat
SAT-based Pseudo-Boolean Solver
vasilisp/pub
My academic publications
vasilisp/dotfiles