Jan Midtgaard (jmid)

jmid

Geek Repo

Company:@tarides

Location:Denmark

Home Page:https://janmidtgaard.dk

Github PK Tool:Github PK Tool

Jan Midtgaard's repositories

mutaml

An OCaml mutation tester

Language:OCamlLicense:BSD-2-ClauseStargazers:66Issues:4Issues:15

pbt-frameworks

An overview of property-based testing functionality

Language:OCamlStargazers:14Issues:3Issues:0

ortac

Runtime assertion checking based on Gospel specifications

Language:OCamlLicense:MITStargazers:1Issues:1Issues:0

consent

ligand-based virtual screening with consensus queries

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0

domainslib

Parallel Programming over Domains

Language:OCamlLicense:ISCStargazers:0Issues:1Issues:0

dune

A composable build system for OCaml.

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

flexdll

a dlopen-like API for Windows

License:NOASSERTIONStargazers:0Issues:0Issues:0

js_of_ocaml

Compiler from OCaml to Javascript.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

kcas

Multi-word compare-and-swap library

Language:OCamlLicense:ISCStargazers:0Issues:1Issues:0

lockfree

Lock-free data structures for multicore OCaml

Language:OCamlLicense:ISCStargazers:0Issues:1Issues:0

lrgrep

Menhir polishing toolbox, for experienced druids

Language:OCamlStargazers:0Issues:1Issues:0

mirage-skeleton

Examples of simple MirageOS apps

Language:OCamlLicense:UnlicenseStargazers:0Issues:1Issues:0

multicoretests-ci

Multi-platform CI for the OCaml compiler

Language:OCamlStargazers:0Issues:1Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ocaml-multicore

Multicore OCaml

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ocaml-tsan

Race detection in OCaml using the ThreadSanitizer runtime analysis.

License:NOASSERTIONStargazers:0Issues:0Issues:0

okra

OKR report aggregation tool

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

License:NOASSERTIONStargazers:0Issues:0Issues:0

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:2Issues:0

opam-source-archives

mirror of precious opam repository packages whose source websites have disappeared

Stargazers:0Issues:0Issues:0

ppxlib

Base library and tools for ppx rewriters

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

qcheck

QuickCheck inspired property-based testing for OCaml.

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0
Language:OCamlLicense:ISCStargazers:0Issues:1Issues:0

sandmark-nightly-config

Configuration files to run sandmark-nightly

Stargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:1Issues:0
Language:OCamlStargazers:0Issues:0Issues:0

v3.ocaml.org-server

Server-side of the next version of the ocaml.org website. See https://github.com/ocaml/v3.ocaml.org for the frontend.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0