15 results found Sort:

245
2.5k
isc
84
MirageOS is a library operating system that constructs unikernels
Created 2009-12-04
3,639 commits to main branch, last one 23 days ago
399
1.6k
mit
38
A composable build system for OCaml.
Created 2016-10-30
13,250 commits to main branch, last one 3 hours ago
353
1.2k
other
61
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Created 2012-02-17
11,317 commits to master branch, last one 5 days ago
83
1.2k
lgpl-3.0
52
A statically-typed, functional typesetting system
Created 2015-03-19
2,674 commits to master branch, last one about a month ago
1.1k
516
cc0-1.0
33
Main public package repository for opam, the source package manager of OCaml.
Created 2012-05-31
62,250 commits to master branch, last one 15 hours ago
93
303
gpl-2.0
26
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
Created 2013-11-12
9,212 commits to master branch, last one 2 months ago
This project aims at being able to export Kicad v5 Sch files to structured picture files
Created 2016-08-28
303 commits to master branch, last one 2 years ago
162
121
lgpl-2.1
19
Archive for all Coq related OPAM packages organized in various repositories
Created 2015-05-27
8,074 commits to master branch, last one 18 hours ago
Streamlining the release of dune packages to opam
Created 2018-04-12
919 commits to main branch, last one 2 months ago
An OCaml cross-toolchain for Windows and several useful libraries
Created 2016-03-12
564 commits to main branch, last one 20 days ago
32
109
mit
16
Turn opam-based OCaml projects into Nix derivations
Created 2021-12-22
307 commits to main branch, last one 4 months ago
An OCaml cross-toolchain for Android and several useful libraries
Created 2014-10-13
180 commits to master branch, last one 6 years ago
Learn Ocaml by reading code examples
Created 2021-05-13
117 commits to main branch, last one 2 years ago
An OCaml cross-toolchain for iOS and several useful libraries
Created 2016-05-01
143 commits to master branch, last one 6 days ago
3
59
bsd-3-clause
4
🔨 Tool to generate OCaml projects
Created 2020-01-01
28 commits to master branch, last one 3 years ago