Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: actions: ocaml/setup-ocaml
Set up an OCaml and opam environment and add to PATH
66 versions
Latest release: 4 months ago
View more package details: https://packages.ecosyste.ms/registries/github%20actions/packages/ocaml/setup-ocaml
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/ocaml%2Fsetup-ocaml
Dependent Repos 627
c-cube/ezcurl
A simple wrapper around OCurl.- v2 .github/workflows/main.yml
Size: 719 KB - Last synced: about 6 hours ago - Pushed: about 1 month ago
stan-dev/stanc3
The Stan transpiler (from Stan to C++ and beyond).- v2 .github/workflows/binaries.yml
Size: 129 MB - Last synced: 6 days ago - Pushed: 16 days ago
0adb/bedrock2 Fork of mit-plv/bedrock2
A work-in-progress language and compiler for verified low-level programming- v2 .github/workflows/coq-macos.yml_inactive
- v2 .github/workflows/coq-windows.yml_inactive
Size: 8.07 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
patricoferris/merlin Fork of ocaml/merlin
Context sensitive completion for OCaml in Vim and Emacs- v2 .github/workflows/main.yml
Size: 41.1 MB - Last synced: about 6 hours ago - Pushed: 11 months ago
diskuv/dkml-install-api
API for OCaml installation plugins- v2 .github/workflows/pages.yml
Size: 4.95 MB - Last synced: 5 months ago - Pushed: 5 months ago
patricoferris/ocaml-lsp Fork of ocaml/ocaml-lsp
OCaml Language Server Protocol implementation- v2 .github/workflows/build-and-test.yml
Size: 6.03 MB - Last synced: about 6 hours ago - Pushed: 11 months ago
ocaml-multicore/multicore-magic
Low-level multicore utilities for OCaml- v2 .github/workflows/workflow.yml
Size: 662 KB - Last synced: about 2 hours ago - Pushed: 2 days ago
ocsigen/ts2ocaml
Generate OCaml bindings from TypeScript definitions via the TypeScript compiler API- v2 .github/workflows/ci.yml
- v2 .github/workflows/publish.yml
Size: 25.4 MB - Last synced: 1 day ago - Pushed: 2 days ago
jake-pauls/surf
a dsl for graphics/shading in vulkan (early wip)- v2 .github/workflows/surf-build.yml
Size: 6.47 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
my-vegetable-has-exploded/incubator-opendal Fork of apache/opendal
Apache OpenDAL: access data freely.- v2 .github/actions/setup-ocaml/action.yaml
Size: 15.5 MB - Last synced: 3 days ago - Pushed: 6 months ago
polytypic/idle-domains
Co-operative allocation of domains for OCaml- v2 .github/workflows/workflow.yml
Size: 367 KB - Last synced: 8 months ago - Pushed: about 1 year ago
patricoferris/obuilder Fork of ocurrent/obuilder
Experimental "docker build" alternative using btrfs/zfs snapshots- v2 .github/workflows/main.yml
Size: 463 KB - Last synced: about 6 hours ago - Pushed: 8 months ago
xapi-project/xapi-project.github.io
Home of the Xapi-project docs site- v2 .github/workflows/pull-xapi-data.yml
Size: 21.1 MB - Last synced: 7 days ago - Pushed: 8 days ago
ocaml-bench/sandmark
A benchmark suite for the OCaml compiler- v2 .github/workflows/main.yml
Size: 38.8 MB - Last synced: 2 months ago - Pushed: 3 months ago
flash-gordon/rescript-compiler Fork of rescript-lang/rescript-compiler
The compiler for ReScript.- v2 .github/workflows/ci.yml
Size: 1.77 GB - Last synced: 4 days ago - Pushed: about 1 year ago
ngzhian/relaxed-simd Fork of WebAssembly/relaxed-simd
Relax the strict determinism requirements of SIMD operations.- v2 .github/workflows/main.yml
Size: 53.2 MB - Last synced: 2 days ago - Pushed: 8 months ago
metanivek/irmin Fork of mirage/irmin
Irmin is a distributed database that follows the same design principles as Git- v2 .github/workflows/coverage.yml
Size: 41.9 MB - Last synced: 6 months ago - Pushed: 6 months ago
juliojgd/an-metri-gal
Análise métrico de texto en verso en lingua galega (Galician language) gl-ES- v2 .github/workflows/build-develop.yml
Size: 114 KB - Last synced: 1 day ago - Pushed: over 1 year ago
c-cube/seq
compatibility package for the standard OCaml iterator type- v2 .github/workflows/main.yml
Size: 35.2 KB - Last synced: about 6 hours ago - Pushed: over 1 year ago
andyhhp/xen-api Fork of xapi-project/xen-api
XCP xen-api- v2 .github/workflows/docs.yml
- v1 .github/workflows/draft-release.yml
Size: 56.6 MB - Last synced: 9 months ago - Pushed: 9 months ago
robhoes/xen-api Fork of xapi-project/xen-api
XCP xen-api- v2 .github/workflows/docs.yml
Size: 69.1 MB - Last synced: 3 months ago - Pushed: 3 months ago
kc284/xen-api Fork of xapi-project/xen-api
XCP xen-api- v2 .github/workflows/docs.yml
- v1 .github/workflows/draft-release.yml
Size: 61.1 MB - Last synced: about 16 hours ago - Pushed: about 18 hours ago
benediktahrens/UniMath Fork of UniMath/UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.- v2 .github/workflows/build-unimath.yml
Size: 26 MB - Last synced: about 6 hours ago - Pushed: 6 months ago
goblint/cil Fork of cil-project/cil
C Intermediate Language- v2 .github/workflows/docs.yml
- v2 .github/workflows/tests.yml
Size: 33.6 MB - Last synced: 11 days ago - Pushed: 25 days ago
mgree/smoosh
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.- v2 .github/workflows/build.yml
Size: 3.66 MB - Last synced: 10 days ago - Pushed: about 1 year ago
dune-universe/opam-overlays
An opam remote with the various Dune modified repositories in this org- v2 .github/workflows/lint.yml
Size: 124 MB - Last synced: 2 months ago - Pushed: 2 months ago
sugyan/adventofcode
- v2 .github/workflows/ocaml_2022.yml
Size: 625 KB - Last synced: 12 days ago - Pushed: 2 months ago
sabine/ocaml.org Fork of ocaml/ocaml.org
The official OCaml website.- v2 .github/workflows/ci.yml
- v2 .github/workflows/scrape.yml
Size: 114 MB - Last synced: about 20 hours ago - Pushed: 1 day ago
na4zagin3/satyrographos
Package manager for SATySFi- v2 .github/workflows/ci.yaml
Size: 760 KB - Last synced: 12 days ago - Pushed: 7 months ago
ocsigen/lwt
OCaml promises and concurrent I/O- v2 .github/workflows/workflow.yml
Size: 28.4 MB - Last synced: about 6 hours ago - Pushed: 5 days ago
Octachron/codept
Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer- v2 .github/workflows/ci.yml
Size: 1.54 MB - Last synced: about 6 hours ago - Pushed: 5 days ago
MLanguage/mlang
Compiler for the M language, used to compute the income tax of French taxpayers- v2 .github/workflows/binary-releases.yml
- v2 .github/workflows/check_correctness.yml
- v2 .github/workflows/publish_doc.yml
Size: 34.7 MB - Last synced: about 22 hours ago - Pushed: about 23 hours ago
ocaml-multicore/multicoretests
PBT testsuite and libraries for testing multicore OCaml- v2 .github/workflows/common.yml
Size: 2.69 MB - Last synced: about 6 hours ago - Pushed: about 14 hours ago
geocaml/ocaml-geojson
A library for manipulating, creating and parsing GeoJSON- v2 .github/workflows/ci.yml
Size: 12.9 MB - Last synced: about 6 hours ago - Pushed: 5 months ago
kbully777/fiat-crypto Fork of mit-plv/fiat-crypto
Cryptographic Primitive Code Generation by Fiat- v2 .github/workflows/coq-macos.yml
- v2 .github/workflows/coq-opam-package.yml
- v2 .github/workflows/coq-windows.yml
Size: 64.6 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
rescript-lang/rescript-compiler
The compiler for ReScript.- v2 .github/workflows/ci.yml
Size: 1.78 GB - Last synced: about 12 hours ago - Pushed: about 19 hours ago
ushitora-anqou/qash
A programming language for double-entry accounting, inspired by Beancount.- v2 .github/workflows/release.yaml
- v2 .github/workflows/runtest.yaml
Size: 1.13 MB - Last synced: 7 days ago - Pushed: 4 months ago
ocurrent/obuilder
Experimental "docker build" alternative using btrfs/zfs snapshots- v2 .github/workflows/main.yml
Size: 938 KB - Last synced: 3 months ago - Pushed: 3 months ago
ilevd/related_post_gen Fork of jinyus/related_post_gen
Data Processing benchmark featuring Rust, Go, Swift, Zig, Julia etc.- v2 .github/workflows/benchmark.yml
Size: 9.09 MB - Last synced: 6 months ago - Pushed: 6 months ago
cca-io/rescript-react-intl-extractor
Extracts messages for localization from ReScript source files.- v2 .github/workflows/ci.yml
Size: 338 KB - Last synced: about 1 month ago - Pushed: 2 months ago
jeannin/zelus Fork of INRIA/zelus
A synchronous language with ODEs- v2 .github/workflows/build.yml
- v2 .github/workflows/opam.yml
Size: 71.1 MB - Last synced: 3 days ago - Pushed: 5 months ago
tmattio/vscode-ocaml-platform Fork of ocamllabs/vscode-ocaml-platform
Visual Studio Code extension for OCaml- v2 .github/workflows/main.yml
Size: 5.28 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
WebAssembly/tail-call
Proposal to add tail calls to WebAssembly- v2 .github/workflows/main.yml
Size: 24.2 MB - Last synced: about 1 month ago - Pushed: about 1 year ago
rgrinberg/lev
Low Level Bindings to Libev- v2 .github/workflows/workflow.yml
Size: 502 KB - Last synced: 12 months ago - Pushed: 12 months ago
proux01/fiat-crypto Fork of mit-plv/fiat-crypto
Cryptographic Primitive Code Generation by Fiat- v2 .github/workflows/coq-macos.yml
- v2 .github/workflows/coq-opam-package.yml
- v2 .github/workflows/coq-windows.yml
Size: 73.6 MB - Last synced: 2 months ago - Pushed: 2 months ago
creusot-rs/creusot
Creusot helps you prove your code is correct in an automated fashion.- v2 .github/workflows/why3.yml
Size: 37.2 MB - Last synced: about 12 hours ago - Pushed: 3 days ago
jedisct1/fiat-crypto Fork of mit-plv/fiat-crypto
Cryptographic Primitive Code Generation by Fiat- v2 .github/workflows/coq-macos.yml
- v2 .github/workflows/coq-opam-package.yml
- v2 .github/workflows/coq-windows.yml
Size: 69.9 MB - Last synced: about 2 months ago - Pushed: 5 months ago
ocaml-multicore/saturn
Lock-free data structures for multicore OCaml- v2 .github/workflows/main.yml
Size: 791 KB - Last synced: about 6 hours ago - Pushed: 18 days ago
panglesd/odoc Fork of ocaml/odoc
Documentation compiler for OCaml and Reason- v2 .github/workflows/build.yml
Size: 20.7 MB - Last synced: about 6 hours ago - Pushed: about 14 hours ago
mransan/ocaml-protoc
A Protobuf Compiler for OCaml- v2 .github/workflows/gh-pages.yml
Size: 2.19 MB - Last synced: about 6 hours ago - Pushed: 18 days ago
ocaml/odoc
Documentation compiler for OCaml and Reason- v2 .github/workflows/build.yml
Size: 20.8 MB - Last synced: about 6 hours ago - Pushed: about 14 hours ago
WebAssembly/stringref
- v2 .github/workflows/main.yml
Size: 18.6 MB - Last synced: 11 months ago - Pushed: about 1 year ago
jonludlam/odoc-parser Fork of ocaml-doc/odoc-parser
An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.- v2 .github/workflows/build.yml
Size: 918 KB - Last synced: 11 months ago - Pushed: 11 months ago
sail-pl/SAIL
SAIL stands for SAfe Interactive Language- v2 .github/workflows/build.yml
Size: 1.3 MB - Last synced: 5 months ago - Pushed: 7 months ago
hhugo/sedlex Fork of ocaml-community/sedlex
An OCaml lexer generator for Unicode- v2 .github/workflows/build.yml
Size: 2.89 MB - Last synced: 6 months ago - Pushed: 6 months ago
proof-ninja/ocaml-blake3
- v2 .github/workflows/workflow.yml
Size: 1.68 MB - Last synced: about 1 month ago - Pushed: over 1 year ago
SaySayo/ocaml.org Fork of ocaml/ocaml.org
The official OCaml website.- v2 .github/workflows/ci.yml
- v2 .github/workflows/scrape.yml
Size: 109 MB - Last synced: about 20 hours ago - Pushed: 1 day ago
alan-j-hu/camyll
Static site generator- v2 .github/workflows/pages.yaml
Size: 205 KB - Last synced: 11 months ago - Pushed: about 1 year ago
eWert-Online/reason-cdp
- v2 .github/workflows/scheduled-builds.yml
Size: 2.33 MB - Last synced: 6 days ago - Pushed: 7 days ago
mbacarella/curses
Bindings to curses/ncurses- v2 .github/workflows/workflow.yml
Size: 151 KB - Last synced: 27 days ago - Pushed: 9 months ago
prekel/book Fork of realworldocaml/book
V2 of Real World OCaml- v2 .github/workflows/build.yml
Size: 224 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
archerD/infer Fork of facebook/infer
A static analyzer for Java, C, C++, and Objective-C- v2 .github/workflows/install.yml
Size: 151 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
dbcaml/dbcaml
DBCaml is a database library for OCaml- v2 .github/workflows/ci.yaml
Size: 1.7 MB - Last synced: 6 days ago - Pushed: 7 days ago
ArulselvanMadhavan/vega-lite Fork of imandra-ai/vega-lite
OCaml library to produce vega-lite visualizations (as json objects)- v2 .github/workflows/main.yml
Size: 93.8 KB - Last synced: about 1 year ago - Pushed: over 1 year ago
Khady/ocaml-junit
OCaml package to produce JUnit xml reports- v2 .github/workflows/build-test.yml
- v2 .github/workflows/lint.yml
- v2 .github/workflows/opam-dependency-submission.yml
Size: 212 KB - Last synced: 4 months ago - Pushed: 4 months ago
omnisci3nce/sibyl-lang
ML-inspired programming language for learning purposes.- v2 .github/workflows/workflow.yml
Size: 738 KB - Last synced: 3 months ago - Pushed: 3 months ago
andrjohns/stanc3 Fork of stan-dev/stanc3
Rewriting the Stan compiler in OCaml- v2 .github/workflows/binaries.yml
Size: 118 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
zhoudongxu/infer Fork of facebook/infer
A static analyzer for Java, C, C++, and Objective-C- v2 .github/workflows/install.yml
Size: 150 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
LimitEpsilon/reanalyze-ropas
ReScript static analysis tool, from https://github.com/rescript-association/reanalyze and extended upon by ROPAS@SNU- v2 .github/workflows/ci.yml
Size: 3.5 MB - Last synced: 5 months ago - Pushed: 5 months ago
mseri/md2mld
Little cli to convert md files into mld files- v2 .github/workflows/test.yml
Size: 425 KB - Last synced: 3 months ago - Pushed: 12 months ago
jooola/liquidsoap Fork of savonet/liquidsoap
Audio and video streaming language- v2 .github/workflows/ci.yml
Size: 21.4 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
geoffder/scad-ml Fork of namachan10777/scad-ml
OpenSCAD DSL for OCaml- v2 .github/workflows/build-and-test.yml
- v2 .github/workflows/deploy-doc.yml
Size: 9.06 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
namachan10777/scad-ml
OpenSCAD DSL for OCaml- v2 .github/workflows/build-and-test.yml
- v2 .github/workflows/deploy-doc.yml
Size: 595 KB - Last synced: about 1 year ago - Pushed: over 1 year ago
ak-2485/FPBench Fork of FPBench/FPBench
A standard for floating point accuracy benchmarks- v2 .github/workflows/test.yml
Size: 1.96 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
LoganGrier/rescript-compiler Fork of rescript-lang/rescript-compiler
The compiler for ReScript.- v2 .github/workflows/ci.yml
Size: 1.07 GB - Last synced: about 1 year ago - Pushed: over 1 year ago
links-lang/links
Links: Linking Theory to Practice for the Web- v2 .github/workflows/default.yml
Size: 26.7 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
rescript-association/reanalyze
Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.- v2 .github/workflows/ci.yml
Size: 4.26 MB - Last synced: 6 days ago - Pushed: 16 days ago
Alizter/dune Fork of ocaml/dune
A composable build system for OCaml.- v2 .github/workflows/workflow.yml
Size: 39.6 MB - Last synced: about 6 hours ago - Pushed: 4 days ago
diskuv/dkml-c-probe
Cross-compiler friendly characterizations of the OCaml's native C compiler- v2 .github/workflows/pages.yml
Size: 104 KB - Last synced: about 1 year ago - Pushed: over 1 year ago