Pinned Repositories
changeset
(unreleased) Data validation with first-class and first-order labels in OCaml
coq-prelude
General-purpose monad typeclass hierarchy for Coq
docs
The Etherlink documentation brought to you by Docusaurus 🤝
domainslib
Parallel Programming over Domains
dune
A composable build system for OCaml.
FreeSpec
Compositional reasoning framework for the Coq proof assistant
index
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocaml-ipv6-multicast
UNIX bindings for IPv6 multicast
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
phink's Repositories
phink/changeset
(unreleased) Data validation with first-class and first-order labels in OCaml
phink/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
phink/coq-prelude
General-purpose monad typeclass hierarchy for Coq
phink/docs
The Etherlink documentation brought to you by Docusaurus 🤝
phink/domainslib
Parallel Programming over Domains
phink/dune
A composable build system for OCaml.
phink/FreeSpec
Compositional reasoning framework for the Coq proof assistant
phink/index
phink/ocaml
The core OCaml system: compilers, runtime system, base libraries
phink/ocaml-ipv6-multicast
UNIX bindings for IPv6 multicast
phink/ocaml-typed-effects
OCaml with typed algebraic effects
phink/pl-sem-jr-2017-summer
phink/session-ocaml
An implementation of binary session types in OCaml