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,713 commits to main branch, last one 13 days ago
A composable build system for OCaml.
Created
2016-10-30
13,664 commits to main branch, last one a day 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,585 commits to master branch, last one 3 days ago
A statically-typed, functional typesetting system
Created
2015-03-19
2,678 commits to master branch, last one about a month ago
Main public package repository for opam, the source package manager of OCaml.
Created
2012-05-31
64,427 commits to master branch, last one 16 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,419 commits to master branch, last one 8 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 3 years ago
Archive for all Coq related OPAM packages organized in various repositories
Created
2015-05-27
8,514 commits to master branch, last one 4 days ago
Turn opam-based OCaml projects into Nix derivations
Created
2021-12-22
343 commits to main branch, last one 13 days ago
Streamlining the release of dune packages to opam
Created
2018-04-12
938 commits to main branch, last one about a month ago
An OCaml cross-toolchain for Windows and several useful libraries
Created
2016-03-12
603 commits to main branch, last one 7 days 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 4 months ago
🔨 Tool to generate OCaml projects
Created
2020-01-01
28 commits to master branch, last one 3 years ago