shym's repositories
cmdliner
Declarative definition of command line interfaces for OCaml
dune
A composable build system for OCaml.
gospel
A tool-agnostic formal specification language for OCaml.
merlin
Context sensitive completion for OCaml in Vim and Emacs
mirage-www
Website infrastructure and content for mirage.io
msvs-tools
Microsoft Visual Studio Helper Scripts (OCaml)
multicoretests
PBT testsuite and libraries for testing multicore OCaml
multicoretests-ci
Multi-platform CI for the OCaml compiler
ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
ocaml-solo5
Freestanding OCaml runtime
ocamlfind
The OCaml findlib library manager
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
opam-overlays
An opam remote with the various Dune modified repositories in this org
opam-repository
Main public package repository for opam, the source package manager of OCaml.
ortac
Runtime assertion checking based on Gospel specifications
ppxlib
Base library and tools for ppx rewriters
qcheck
QuickCheck inspired property-based testing for OCaml.
setup-ocaml
GitHub Action for the OCaml programming language
solo5
A sandboxed execution environment for unikernels
unikraft
A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
vim-dispatch
dispatch.vim: asynchronous build and test dispatcher
vim-ocaml
Vim runtime files for OCaml
winpthreads
Split winpthreads subtree of MinGW-w64