zkincaid/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Developer Profile
zkincaid
Discovered public repositories for zkincaid in the GitHub catalog.
zkincaid/sv-opam
Repository for OPAM packages related to software verification
zkincaid/ocaml-mathsat
OCaml bindings for MathSAT 5
zkincaid/ocaml-buddy
binding for the BDD buddy library
zkincaid/deriving
Extension to OCaml for deriving functions from type declarations.
zkincaid/duet
Duet: static analysis for unbounded concurrency