-
-
lib-musl Public
Forked from unikraft/lib-muslmusl: A C standard library
C Other UpdatedOct 15, 2024 -
ocaml-unikraft Public
OCaml cross-compiler to freestanding Unikraft backends
-
solo5 Public
Forked from Solo5/solo5A sandboxed execution environment for unikernels
C ISC License UpdatedOct 10, 2024 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
-
mirage-unikraft Public
Unikraft core platform libraries for MirageOS
-
mirage Public
Forked from mirage/mirageMirageOS is a library operating system that constructs unikernels
OCaml ISC License UpdatedSep 13, 2024 -
multicoretests Public
Forked from ocaml-multicore/multicoretestsPBT testsuite and libraries for testing multicore OCaml
OCaml BSD 2-Clause "Simplified" License UpdatedSep 13, 2024 -
unikraft Public
Forked from unikraft/unikraftA next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
C Other UpdatedSep 11, 2024 -
-
ocaml-solo5 Public
Forked from mirage/ocaml-solo5Freestanding OCaml runtime
C Other UpdatedJul 19, 2024 -
mirage-www Public
Forked from mirage/mirage-wwwWebsite infrastructure and content for mirage.io
HTML ISC License UpdatedJul 16, 2024 -
ortac Public
Forked from ocaml-gospel/ortacRuntime assertion checking based on Gospel specifications
OCaml MIT License UpdatedJul 3, 2024 -
-
opam-overlays Public
Forked from dune-universe/opam-overlaysAn opam remote with the various Dune modified repositories in this org
Shell UpdatedJun 26, 2024 -
-
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedMay 22, 2024 -
gospel Public
Forked from ocaml-gospel/gospelA tool-agnostic formal specification language for OCaml.
OCaml MIT License UpdatedMay 6, 2024 -
winpthreads Public
Forked from mingw-w64/mingw-w64Split winpthreads subtree of MinGW-w64
C Other UpdatedMar 13, 2024 -
-
vim-ocaml Public
Forked from ocaml/vim-ocamlVim runtime files for OCaml
Vim Script UpdatedNov 29, 2023 -
msvs-tools Public
Forked from metastack/msvs-toolsMicrosoft Visual Studio Helper Scripts (OCaml)
Shell Other UpdatedNov 22, 2023 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedNov 2, 2023 -
gospel-ortac-release-talk Public
Forked from n-osborne/gospel-ortac-release-talkTeX UpdatedOct 18, 2023 -
qcheck Public
Forked from c-cube/qcheckQuickCheck inspired property-based testing for OCaml.
OCaml BSD 2-Clause "Simplified" License UpdatedOct 3, 2023 -
multicoretests-ci Public
Forked from ocurrent/multicoretests-ciMulti-platform CI for the OCaml compiler
OCaml UpdatedJul 7, 2023 -
ppxlib Public
Forked from ocaml-ppx/ppxlibBase library and tools for ppx rewriters
OCaml MIT License UpdatedMay 16, 2023 -
-
setup-ocaml Public
Forked from ocaml/setup-ocamlGitHub Action for the OCaml programming language
TypeScript MIT License UpdatedFeb 22, 2023 -
ocaml-containers Public
Forked from c-cube/ocaml-containersA lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
OCaml BSD 2-Clause "Simplified" License UpdatedJan 9, 2023