-
catala Public
Forked from CatalaLang/catalaProgramming language for literate programming law specification
OCaml Apache License 2.0 UpdatedJun 16, 2025 -
opam Public
Forked from ocaml/opamOPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
-
opam-repository Public
Forked from ocaml/opam-repositoryPackage descriptions for OPAM
-
dates-calc Public
Forked from CatalaLang/dates-calcFormally specified computations on dates
F* Apache License 2.0 UpdatedSep 25, 2024 -
learn-ocaml-corpus Public
Forked from ocaml-sf/learn-ocaml-corpusA corpus of automatically graded exercises to learn functional programming in OCaml.
OCaml UpdatedJul 26, 2024 -
asak Public
Forked from nobrakal/asakIdentifying similar OCaml codes
OCaml MIT License UpdatedJul 25, 2024 -
-
-
learn-ocaml Public
Forked from ocaml-sf/learn-ocamlA Web Application for Learning OCaml
OCaml GNU Affero General Public License v3.0 UpdatedFeb 12, 2024 -
catala-website Public
Forked from CatalaLang/catala-websiteSource code for the website of the Catala language
HTML Apache License 2.0 UpdatedOct 6, 2023 -
catala-web-assets Public
Forked from CatalaLang/catala-web-assetsAssets used by the website to render french law forms
HTML Apache License 2.0 UpdatedOct 6, 2023 -
opam-ed Public
A small command-line tool to help with mechanical edition of opam files
-
opam-bundle Public
A tool that creates stand-alone source bundles from opam packages
-
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedOct 20, 2022 -
ocamlfind Public
Forked from ocaml/ocamlfindThe OCaml findlib library manager
OCaml Other UpdatedJul 11, 2022 -
-
opam-rt Public
Forked from ocaml-opam/opam-rtRegression Testing framework for OPAM
OCaml UpdatedDec 21, 2021 -
perfect-gallery Public
A very simple image gallery based on perfect-layout
-
galene Public
Forked from jech/galeneThe Galène videoconference server
Go MIT License UpdatedOct 14, 2021 -
js_of_ocaml Public
Forked from ocsigen/js_of_ocamlCompiler from OCaml to Javascript.
OCaml Other UpdatedSep 16, 2021 -
opam-depext Public
Forked from ocaml-opam/opam-depextAttempt to automate the installation of system packages required by OPAM packages
OCaml UpdatedAug 5, 2021 -
-
opam-package-upgrade Public
Upgrades opam package definition files to the latest format
-
opam-publish Public
Forked from ocaml-opam/opam-publishA tool to ease contributions to opam repositories
OCaml Other UpdatedJun 24, 2021 -
-
freeton_wallet Public
Forked from OCamlPro/freeton_walletThe 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.
OCaml Other UpdatedMay 26, 2021 -
-
satyrographos-repo Public
Forked from na4zagin3/satyrographos-repoCustom OPAM repository for SATySFi libraries managed by Satyrographos
Shell UpdatedNov 5, 2020 -
alt-ergo Public
Forked from OCamlPro/alt-ergoOCamlPro public development repository for Alt-Ergo
OCaml Other UpdatedSep 23, 2020 -
dockerfiles Public
Forked from icfpcontest2020/dockerfilesDockerfile MIT License UpdatedJul 17, 2020
{{ message }}