Pinned Repositories
alacritty
A cross-platform, OpenGL terminal emulator.
cameleer
A Deductive Verification Tool for OCaml Programs
dead_code_analyzer
Dead-code analyzer for OCaml
Frama-C-StaDy
Static & Dynamic Verification of C programs
frama-wodi
godi-repo
godi repo for windows
javalib
Javalib is a library to access and manipulate Java class files from OCaml.
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.
opam-repository
Package descriptions for OPAM
vprevosto's Repositories
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/opam-repository
Package descriptions for OPAM
vprevosto/alacritty
A cross-platform, OpenGL terminal emulator.
vprevosto/cameleer
A Deductive Verification Tool for OCaml Programs
vprevosto/dead_code_analyzer
Dead-code analyzer for OCaml
vprevosto/Frama-C-StaDy
Static & Dynamic Verification of C programs
vprevosto/frama-wodi
vprevosto/godi-repo
godi repo for windows
vprevosto/javalib
Javalib is a library to access and manipulate Java class files from OCaml.
vprevosto/lablgtk
Mirror repository for https://forge.ocamlcore.org/anonscm/git/lablgtk/lablgtk.git
vprevosto/ocaml
The core OCaml system: compilers, runtime system, base libraries
vprevosto/ocaml-protoc-plugin
ocaml-protoc-plugin
vprevosto/ocamlgraph
OCaml graph library
vprevosto/oci
OCI: framework for continuous integrations and benchmarks
vprevosto/opam2nix-packages
nix expressions for the official opam repository, using opam2nix
vprevosto/Pilat
Invariant generator for polynomial loops
vprevosto/ppx_deriving
Type-driven code generation for OCaml >=4.02
vprevosto/sarif-spec
OASIS SARIF TC: Repository for development of the draft standard, where requests for modification should be made via Github Issues
vprevosto/sawja
Sawja provides a high level representation of Java bytecode programs and static analysis tools.
vprevosto/toolchain
Work Package 3 A Top-Level Project
vprevosto/typerex-lint
Tools to manipulate source files (linting, patching, etc.)
vprevosto/validation
WP4: Validation and verification strategy
vprevosto/VerifyThis2019Challenges
Solutions for the Challenges of VerifyThis2019