vprevosto/godi-repo
godi repo for windows
Developer Profile
vprevosto
Discovered public repositories for vprevosto in the GitHub catalog.
vprevosto/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.
vprevosto/ocamlgraph
OCaml graph library
vprevosto/validation
WP4: Validation and verification strategy
vprevosto/opam-repository
Package descriptions for OPAM
vprevosto/frama-wodi
Public repository.
vprevosto/toolchain
Work Package 3 A Top-Level Project