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