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