Package Usage: actions: ocaml/setup-ocaml
Set up an OCaml and opam environment and add to PATH
90 versions
Latest release: environ un an ago
View more package details: https://packages.ecosystem.code.gouv.fr/registries/github%20actions/packages/ocaml/setup-ocaml
Dependent Repos 15
CatalaLang/catala-language-server
Catala VSCode extension and LSP serverSize: 693 ko - Last synced: 7 jours ago - Pushed: 7 jours ago
CatalaLang/dates-calc
Formally specified computations on datesSize: 673 ko - Last synced: 7 jours ago - Pushed: environ un mois ago
Deducteam/lambdapi-logics
Logic files for LambdapiSize: 32,2 ko - Last synced: 3 jours ago - Pushed: 5 mois ago
Deducteam/lambdapi-stdlib
Repository of Lambdapi developmentsSize: 143 ko - Last synced: 3 jours ago - Pushed: environ 2 mois ago
Deducteam/lambdapi-zenon
Lambdapi library for ZenonSize: 24,4 ko - Last synced: 3 jours ago - Pushed: 11 mois ago
Deducteam/lean2dk
WIP translation from Lean to DeduktiSize: 185 ko - Last synced: 3 jours ago - Pushed: 23 jours ago
Deducteam/personoj
People's Verification System in DeduktiSize: 743 ko - Last synced: 3 jours ago - Pushed: 12 mois ago
Deducteam/Dedukti
Implementation of the λΠ-calculus modulo rewritingSize: 9,68 Mo - Last synced: 3 jours ago - Pushed: environ 2 mois ago
MLanguage/mlang
Compiler for the M language, used to compute the income tax of French taxpayersSize: 44,1 Mo - Last synced: 7 jours ago - Pushed: 14 jours ago
INRIA/zelus
A synchronous language with ODEsSize: 62,2 Mo - Last synced: 6 jours ago - Pushed: 6 jours ago
coq/rocq-prover.org
The Rocq Prover WebsiteSize: 240 Mo - Last synced: 3 mois ago - Pushed: 3 mois ago
coq/deploy-rocq-prover.org
OCurrent deployment pipeline for rocq-prover.orgSize: 48,8 ko - Last synced: 3 mois ago - Pushed: 5 mois ago