Pinned Repositories
AbsPatternMatch
Coq formalisation of an Abstract Pattern-Matching / Abstract Focussing calculus - semantics and normalisation
cdsat
ctypes_of_clang
Convert C-code to OCaml Ctypes via Clang
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
mld
Ocamlbuild plugin: turns directory foo.mld into a module Foo
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
tensorflow-ocaml
OCaml bindings for TensorFlow
yices2
The Yices SMT Solver
yices2
The Yices SMT Solver
witan
An ocaml implementation of conflict-driven reasoning
disteph's Repositories
disteph/cdsat
disteph/AbsPatternMatch
Coq formalisation of an Abstract Pattern-Matching / Abstract Focussing calculus - semantics and normalisation
disteph/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
disteph/yices2
The Yices SMT Solver
disteph/yicesQS
Quantified Satisfiability in Yices
disteph/ctypes_of_clang
Convert C-code to OCaml Ctypes via Clang
disteph/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
disteph/mld
Ocamlbuild plugin: turns directory foo.mld into a module Foo
disteph/tensorflow-ocaml
OCaml bindings for TensorFlow
disteph/Encyclopedia
An Open Encyclopedia of Proof Systems
disteph/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
disteph/mc2
A modular SMT solver in OCaml, based on mcSAT
disteph/ppx_deriving_random
Syntax extension to generate random instances of types
disteph/ppx_let
Monadic let-bindings
disteph/PVS
The People's Verification System
disteph/smt-comp.github.io
disteph/timer
disteph/tracing
Tracing primitives for Ocaml
disteph/vache
Toy programming language with simple semantics