-
Independent
- Denmark
- https://tailcall.dk
- @[email protected]
- @janmidtgaard.bsky.social
- in/jan-midtgaard-2b70845
-
qcheck Public
Forked from c-cube/qcheckQuickCheck inspired property-based testing for OCaml.
OCaml BSD 2-Clause "Simplified" License UpdatedOct 23, 2025 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
Creative Commons Zero v1.0 Universal UpdatedOct 21, 2025 -
alcotest Public
Forked from mirage/alcotestA lightweight and colourful test framework
OCaml ISC License UpdatedOct 9, 2025 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedOct 9, 2025 -
pgsolver Public
Forked from tcsprojects/pgsolverA collection of tools for generating, manipulating and - most of all - solving parity games.
OCaml BSD 3-Clause "New" or "Revised" License UpdatedSep 30, 2025 -
mutaml Public
An OCaml mutation tester
-
opam-source-archives Public
Forked from ocaml/opam-source-archivesmirror of precious opam repository packages whose source websites have disappeared
Roff UpdatedAug 27, 2025 -
opam Public
Forked from ocaml/opamopam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
OCaml Other UpdatedAug 26, 2025 -
ocaml-decoders Public
Forked from mattjbray/ocaml-decodersElm-inspired decoders for Ocaml
OCaml Other UpdatedJul 25, 2025 -
liquid-ml Public
Forked from benfaerber/liquid-mlShopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
OCaml MIT License UpdatedJul 22, 2025 -
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 UpdatedJul 11, 2025 -
analyzer Public
Forked from goblint/analyzerStatic analysis framework for C
OCaml MIT License UpdatedJul 11, 2025 -
prbnmcn-stats Public
Forked from igarnier/prbnmcn-statsBasic statistics library
OCaml MIT License UpdatedJul 9, 2025 -
-
pbt-frameworks Public
An overview of property-based testing functionality
-
ortac Public
Forked from ocaml-gospel/ortacRuntime assertion checking based on Gospel specifications
-
domainslib Public
Forked from ocaml-multicore/domainslibParallel Programming over Domains
OCaml ISC License UpdatedDec 12, 2024 -
v3.ocaml.org-server Public
Forked from ocaml/ocaml.orgServer-side of the next version of the ocaml.org website. See https://github.com/ocaml/v3.ocaml.org for the frontend.
OCaml Other UpdatedOct 4, 2024 -
-
-
multicoretests-ci Public
Forked from ocurrent/multicoretests-ciMulti-platform CI for the OCaml compiler
OCaml UpdatedAug 14, 2024 -
flexdll Public
Forked from ocaml/flexdlla dlopen-like API for Windows
OCaml Other UpdatedJun 26, 2024 -
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedJan 15, 2024 -
-
okra Public
Forked from samoht/okra-1OKR report aggregation tool
OCaml MIT License UpdatedNov 20, 2023 -
consent Public
Forked from UnixJunkie/consentligand-based virtual screening with consensus queries
OCaml GNU General Public License v3.0 UpdatedOct 27, 2023 -
runtime_events_tools Public
Forked from tarides/runtime_events_toolsOCaml ISC License UpdatedOct 25, 2023 -
sandmark-nightly-config Public
Forked from ocaml-bench/sandmark-nightly-configConfiguration files to run sandmark-nightly
Makefile UpdatedSep 20, 2023 -
lockfree Public
Forked from ocaml-multicore/saturnLock-free data structures for multicore OCaml
OCaml ISC License UpdatedJun 7, 2023 -
ppxlib Public
Forked from ocaml-ppx/ppxlibBase library and tools for ppx rewriters
OCaml MIT License UpdatedMay 16, 2023