Open Hub
Open Hub
 

Managed Projects

ocaml-oclock

  Analyzed 1 day ago

Precise POSIX clock for OCaml

396 lines of code

1 current contributors

over 7 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in C
Licenses: isc
Tags clock time

ocamlyices

  Analyzed about 2 hours ago

Yices SMT solver's binding for the OCaml programming language

6.28K lines of code

1 current contributors

about 3 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in OCaml
Licenses: isc
Tags binding ocaml smt smt_solver solver