platform-dev

Dev versions of the tools used to build the upcoming platform

Stars
8
View Code on GitHub
Ecosystems: OCaml
Badges
Extracted from project README
Build Status
Related Projects
ocamlunix

Unix system programming in OCaml book

10 May 2014 285
distributed-systems-ocaml

Distributed Systems in OCaml

18 Feb 2015 19
platform-blog

Repository for the Platform blog

10 Aug 2014 13
oloop

Evaluate code through the OCaml toploop for inclusion in educational material.

28 Feb 2015 12
OCaml-GLib2

OCaml bindings to GLib2 based on OCaml Ctypes?

17 Jul 2017 5
ocamlbuild

The legacy OCamlbuild build manager

03 Dec 2015 121
ocaml-multicore

Multicore OCaml

24 Apr 2015 763
ocaml-layer

Make your own OCaml base image for fast CI jobs

18 Jul 2020 14
ocaml-docker-infra

Docker and OCaml infrastructure scripts

03 Mar 2016 9
setup-ocaml

GitHub Action for the OCaml programming language

10 Nov 2019 192
ocaml

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

20 Nov 2012 5,195
ocaml-cvc5

OCaml bindings for the cvc5 SMT solver

27 Mar 2024 1
obi

OCaml Build Infrastructure

16 Aug 2017 31
hazel

Hazel, a live functional programming environment with typed holes

27 Jan 2017 659
platform

Experimental vendoring of Platform tools

29 Jun 2018 23