Here are 51 public repositories matching this topic...

mirage / mirage

Star 1.5k

MirageOS is a library operating system that constructs unikernels

linux xen ocaml opam kvm mirageos unikernel

• Updated Aug 6, 2020
• OCaml

ocaml / dune

Star 984

A composable build system for OCaml.

build ocaml opam jbuilder dune

• Updated Aug 10, 2020
• OCaml

ocaml / opam

Star 856

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

git package-manager ocaml opam

• Updated Aug 10, 2020
• OCaml

gfngfn / SATySFi

Star 758

A statically-typed, functional typesetting system

pdf latex functional-programming ocaml opentype markup-language opam pdf-generation satysfi

• Updated Jul 26, 2020
• OCaml

ocaml / opam-repository

Star 335

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

ocaml opam

• Updated Aug 10, 2020
• Shell

geneweb / geneweb

Star 146

GeneWeb is an open source genealogy software with a web interface created by Daniel de Rauglaudre.

windows linux database web osx graph ocaml genealogy opam software gedcom family-tree consanguinity

• Updated Aug 7, 2020
• OCaml

ocaml-cross / opam-cross-android

Star 91

An OCaml cross-toolchain for Android and several useful libraries

ocaml opam cross-compiler android-toolchain

• Updated Nov 15, 2018
• Shell

ocaml-cross / opam-cross-windows

Star 77

An OCaml cross-toolchain for Windows and several useful libraries

ocaml opam cross-compiler windows-toolchain

• Updated Aug 9, 2020
• Shell

ocamllabs / dune-release

Star 67

Streamlining the release of dune packages to opam

opam release

• Updated Aug 10, 2020
• OCaml

coq / opam-coq-archive

Star 54

Archive for all Coq related OPAM packages organized in various repositories

coq opam-repository opam

• Updated Aug 10, 2020
• JavaScript

ocaml-cross / opam-cross-ios

Star 49

An OCaml cross-toolchain for iOS and several useful libraries

ocaml opam cross-compiler ios-toolchain

• Updated Nov 26, 2017
• Shell

chrisnevers / mkocaml

Star 45

🔨 Tool to generate OCaml projects

git ocaml opam dune

• Updated Apr 9, 2020
• OCaml

nickzuber / chalk

Star 28

🖍️🎨Composable and simple terminal highlighting package for OCaml.

color terminal ocaml opam chalk highlight

• Updated Feb 3, 2018
• OCaml

hannesm / conex

Star 27

establish trust in community repositories, cryptographically signed by library authors

package-manager cryptography ocaml opam trust conex

• Updated Mar 15, 2020
• OCaml

Chris00 / ocaml-docker

Star 25

Binding to the Docker Remote API

docker ocaml opam ocaml-client

• Updated Nov 1, 2018
• OCaml

ocaml / obi

Star 25

OCaml Build Infrastructure

infrastructure build ocaml opam buildkite

• Updated Jul 7, 2020
• OCaml

na4zagin3 / satyrographos

Star 21

Naive package manager for SATySFi

opam satysfi

• Updated Jul 25, 2020
• OCaml

coq-community / docker-coq

Star 20

Docker images of the Coq proof assistant [maintainer=@erikmd]

dockerfile ci docker-image coq opam docker-coq

• Updated Jul 26, 2020
• Dockerfile

akabe / docker-ocaml

Star 13

Minimum docker images for OCaml+OPAM

docker functional-programming ocaml opam

• Updated Dec 18, 2019
• Dockerfile

xapi-project / xs-opam

Star 12

Opam repository for OCaml libraries to build Citrix Hypervisor toolstack components

ocaml opam xenserver

• Updated Aug 10, 2020
• OCaml

rgrinberg / opam-lock

Star 9

Dump/restore opam dependencies using a lock file

ocaml opam

• Updated Oct 29, 2018
• OCaml

asdf-community / asdf-opam

Star 8

opam plugin for asdf version manager

opam asdf asdf-plugin

• Updated Jun 22, 2020
• Shell

UnixJunkie / hoogle_for_ocaml

Star 7

Same as https://www.haskell.org/hoogle/ but for OCaml programmers

search-engine hack ocaml opam

• Updated Aug 15, 2017
• Shell

rjbou / orb

Star 7

check opam package reproductibility

ocaml opam reproducible-builds

• Updated Apr 20, 2020
• OCaml

mjambon / ocaml-layer

Star 5

Make your own OCaml base image for fast CI jobs

docker ocaml opam

• Updated Aug 9, 2020
• Shell

lindig / jbuild-pp

Star 4

Pretty printer for jbuilder's jbuild files

ocaml opam

• Updated Oct 3, 2017
• OCaml

math-comp / docker-mathcomp

Star 4

Docker images of mathcomp

dockerfile ci docker-image coq opam mathcomp

• Updated Jul 7, 2020
• Dockerfile

gfngfn / satysfi-external-repo

Star 3

Custom OPAM repository for external libraries of SATySFi

ocaml opam-repository opam satysfi

• Updated Jun 7, 2020

coq-community / docker-coq-action

Star 3

GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]

continuous-integration coq actions opam action docker-coq container-ci

• Updated Jul 29, 2020
• Shell

erikmd / tapfa-init-win64.el

Star 3

Environnement de TP pour OCaml et Coq avec GNU Emacs sous Windows 10 (UE TAPFA)

emacs ocaml coq windows-10 opam wsl proof-general

• Updated Jul 4, 2020
• Emacs Lisp

Load more…