khooyp

@mathworks

Pinned Repositories

adapton.ocaml
(Nominal) Adapton in OCaml
Language:OCaml0 1 01
rapidcheck
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
Language:C++0 1 01
stp
Simple Theorem Prover.
Language:C1 1 01
adapton.ocaml
(Nominal) Adapton in OCaml
Language:OCaml50 33 295
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Language:C++509 34 311128

khooyp's Repositories

khooyp/stp
Simple Theorem Prover.
Language:C1 1 01
khooyp/adapton.ocaml
(Nominal) Adapton in OCaml
Language:OCaml0 1 01
khooyp/rapidcheck
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
Language:C++0 1 01