esope

@InriaRennes, France

Pinned Repositories

dune
A composable build system for OCaml.
Language:OCaml0 0 00
fzip
Implementation of a type checker for the Fzip language
Language:OCaml0 1 00
fzip_coq
Coq formalization of the Fzip language
Language:Coq00
lwt
OCaml promises and concurrent I/O
Language:OCaml0 0 00
ocaml-hashcons
OCaml hash-consing library
Language:OCaml0 0 00
opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell0 0 00
ptmap
Implementation of maps of integers with Patricia trees
Language:OCaml0 0 00
ptset
Integer set implementation using Patricia trees
Language:OCaml0 0 00
robustness_coq
Coq formalization of robust declassification
Language:Coq0 1 00
dune
A composable build system for OCaml.
Language:OCaml1.7k 39 3.1k417

esope's Repositories

esope/dune
A composable build system for OCaml.
Language:OCaml0 0 00
esope/fzip
Implementation of a type checker for the Fzip language
Language:OCaml0 1 00
esope/fzip_coq
Coq formalization of the Fzip language
Language:Coq00
esope/lwt
OCaml promises and concurrent I/O
Language:OCaml0 0 00
esope/ocaml-hashcons
OCaml hash-consing library
Language:OCaml0 0 00
esope/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell0 0 00
esope/ptmap
Implementation of maps of integers with Patricia trees
Language:OCaml0 0 00
esope/ptset
Integer set implementation using Patricia trees
Language:OCaml0 0 00
esope/robustness_coq
Coq formalization of robust declassification
Language:Coq0 1 00