8 on this site · 16 links
On this siterelevancedate8
How to publish custom Homebrew taps for OCaml31st Jan 2025#bushel#homebrew#ocaml#oxcaml#packagingState of the OCaml Platform 20231st Sep 2023#devtools#ocaml#testingOCaml-CI: A Zero-Configuration CI1st Aug 2020#ci#devops#dsl#ocaml#testingSibylFS: formal specification and oracle-based testing for POSIX and real-world file systems1st Oct 2015#filesystems#formal-methods#testing#verificationSibylFS: formal specification and oracle-based testing for POSIX and real-world file systems1st Oct 2015#conference#formal#linux#storage#systemsThe OCaml Platform v1.01st Sep 2014#conference#devtools#ocaml#ocamllabs#testingOcamlot: Online OCaml Testing1st Sep 2013#ci#devops#ocaml#testing#toolingOcamlot: Online OCaml Testing1st Sep 2013#conference#ocaml#ocamllabs#systems#testing