Albin Coquereau's repositories
psmt2-frontend
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMTNOASSERTION000
Language:OCamlApache-2.0000
ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCamlNOASSERTION000
tezos-mirror
Github test mirror of the Octez software. Please do not submit pull-requests here!
Language:OCamlMIT000
teztnets
Automated Testnets
Language:TypeScript000
teztnets-1
Repository for the setup of the Tezos test network infrastructure
000
why3
SPARK 2014 repository for the Why3 verification platform.
Language:CoqNOASSERTION000