d
disteph
20 repositories
17 followers
Repositories
Select a repository to view its commits, contributors, and more.public
cdsat
OCaml
10
0
0
Updated 3 years ago
public
AbsPatternMatch
Coq formalisation of an Abstract Pattern-Matching / Abstract Focussing calculus - semantics and normalisation
Coq
2
0
0
Updated 2 years ago
public
benchmarking
OCaml
1
0
0
Updated 2 months ago
public
yicesQS
Quantified Satisfiability in Yices
SMT
1
0
0
Updated 4 months ago
public
mld
Ocamlbuild plugin: turns directory foo.mld into a module Foo
OCaml
0
1
0
Updated 6 years ago
public
timer
OCaml
0
0
0
Updated 3 years ago
public
tracing
Tracing primitives for Ocaml
OCaml
0
0
0
Updated 3 years ago