15 results found Sort:
- Filter by Primary Language:
- OCaml (10)
- Shell (3)
- Nix (1)
- +
MirageOS is a library operating system that constructs unikernels
Created
2009-12-04
3,685 commits to main branch, last one a day ago
A composable build system for OCaml.
Created
2016-10-30
13,357 commits to main branch, last one 20 hours ago
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,397 commits to master branch, last one 6 days ago
A statically-typed, functional typesetting system
Created
2015-03-19
2,674 commits to master branch, last one 2 months ago
Main public package repository for opam, the source package manager of OCaml.
Created
2012-05-31
62,686 commits to master branch, last one 8 hours ago
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
Created
2013-11-12
9,250 commits to master branch, last one 7 days 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
Archive for all Coq related OPAM packages organized in various repositories
Created
2015-05-27
8,149 commits to master branch, last one 3 days ago
Streamlining the release of dune packages to opam
Created
2018-04-12
919 commits to main branch, last one 3 months ago
An OCaml cross-toolchain for Windows and several useful libraries
Created
2016-03-12
565 commits to main branch, last one 7 days ago
Turn opam-based OCaml projects into Nix derivations
Created
2021-12-22
307 commits to main branch, last one 5 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
146 commits to master branch, last one 2 days ago
🔨 Tool to generate OCaml projects
Created
2020-01-01
28 commits to master branch, last one 3 years ago