- Denmark
- https://janmidtgaard.dk
Block or Report
Block or report jmid
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
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 UpdatedJul 5, 2024 -
opam-source-archives Public
Forked from ocaml/opam-source-archivesmirror of precious opam repository packages whose source websites have disappeared
Roff UpdatedJul 4, 2024 -
qcheck Public
Forked from c-cube/qcheckQuickCheck inspired property-based testing for OCaml.
OCaml BSD 2-Clause "Simplified" License UpdatedJul 4, 2024 -
flexdll Public
Forked from ocaml/flexdlla dlopen-like API for Windows
OCaml Other UpdatedJun 26, 2024 -
pbt-frameworks Public
An overview of property-based testing functionality
-
-
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 UpdatedMay 18, 2024 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedMay 17, 2024 -
multicoretests-ci Public
Forked from ocurrent/multicoretests-ciMulti-platform CI for the OCaml compiler
OCaml UpdatedMay 17, 2024 -
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedJan 15, 2024 -
-
okra Public
Forked from tarides/okraOKR 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 -
mutaml Public
An OCaml mutation tester
-
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 6, 2023 -
ortac Public
Forked from ocaml-gospel/ortacRuntime assertion checking based on Gospel specifications
-
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 -
domainslib Public
Forked from ocaml-multicore/domainslibParallel Programming over Domains
OCaml ISC License UpdatedJun 2, 2023 -
ppxlib Public
Forked from ocaml-ppx/ppxlibBase library and tools for ppx rewriters
OCaml MIT License UpdatedMay 16, 2023 -
lrgrep Public
Forked from let-def/lrgrepMenhir polishing toolbox, for experienced druids
OCaml UpdatedOct 20, 2022 -
-
-
js_of_ocaml Public
Forked from ocsigen/js_of_ocamlCompiler from OCaml to Javascript.
OCaml Other UpdatedJun 30, 2022 -
ocaml-tsan Public
Forked from ocaml-multicore/ocaml-tsanRace detection in OCaml using the ThreadSanitizer runtime analysis.
OCaml Other UpdatedJun 21, 2022 -
kcas Public
Forked from ocaml-multicore/kcasMulti-word compare-and-swap library
OCaml ISC License UpdatedMar 9, 2022 -
ocaml-multicore Public
Forked from ocaml-multicore/ocaml-multicoreMulticore OCaml
OCaml Other UpdatedNov 8, 2021 -
mirage-skeleton Public
Forked from mirage/mirage-skeletonExamples of simple MirageOS apps
OCaml The Unlicense UpdatedOct 19, 2021 -
gospel Public
Forked from ocaml-gospel/gospelA tool-agnostic formal specification language for OCaml.
OCaml MIT License UpdatedOct 18, 2021