Package Usage: actions: ocaml/setup-ocaml
Set up an OCaml and opam environment and add to PATH
90 versions
Latest release: over 1 year ago
View more package details: https://packages.ecosystem.code.gouv.fr/registries/github%20actions/packages/ocaml/setup-ocaml
Dependent Repos 15
CatalaLang/catala-formalization
Size: 1.4 MB - Last synced: about 6 hours ago - Pushed: 6 months ago
CatalaLang/catala-language-server
Catala VSCode extension and LSP serverSize: 1.14 MB - Last synced: about 6 hours ago - Pushed: 1 day ago
CatalaLang/dates-calc
Formally specified computations on datesSize: 679 KB - Last synced: about 6 hours ago - Pushed: about 1 month ago
Deducteam/lambdapi-logics
Logic files for LambdapiSize: 36.1 KB - Last synced: 4 days ago - Pushed: 13 days ago
Deducteam/lambdapi-stdlib
Repository of Lambdapi developmentsSize: 127 KB - Last synced: 4 days ago - Pushed: 5 days ago
Deducteam/lambdapi-zenon
Lambdapi library for ZenonSize: 29.3 KB - Last synced: 4 days ago - Pushed: 5 days ago
Deducteam/lean2dk
WIP translation from Lean to DeduktiSize: 218 KB - Last synced: 4 days ago - Pushed: 19 days ago
Deducteam/personoj
People's Verification System in DeduktiSize: 743 KB - Last synced: 4 days ago - Pushed: over 1 year ago
Deducteam/Dedukti
Type-checker for the λΠ-calculus modulo rewritingSize: 9.7 MB - Last synced: 4 days ago - Pushed: 12 days ago
MLanguage/mlang
Compiler for the M language, used to compute the income tax of French taxpayersSize: 44.4 MB - Last synced: about 6 hours ago - Pushed: 3 days ago
INRIA/zelus
A synchronous language with ODEsSize: 62.8 MB - Last synced: about 5 hours ago - Pushed: 3 months ago
coq/rocq-prover.org
The Rocq Prover WebsiteSize: 240 MB - Last synced: 9 months ago - Pushed: 9 months ago
coq/deploy-rocq-prover.org
OCurrent deployment pipeline for rocq-prover.orgSize: 48.8 KB - Last synced: 9 months ago - Pushed: 10 months ago