-
teztnets-1 Public
Forked from tacoinfra/teztnetsRepository for the setup of the Tezos test network infrastructure
TypeScript UpdatedApr 15, 2025 -
-
tezos-mirror Public
Forked from tezos/tezos-mirrorGithub test mirror of the Octez software. Please do not submit pull-requests here!
OCaml MIT License UpdatedMay 23, 2023 -
psmt2-frontend Public
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
-
alt-ergo Public
Forked from OCamlPro/alt-ergoOCamlPro public development repository for Alt-Ergo
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedSep 15, 2020 -
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT Other UpdatedMar 10, 2020 -
-
why3 Public
Forked from AdaCore/why3SPARK 2014 repository for the Why3 verification platform.
Coq Other UpdatedApr 19, 2018
{{ message }}