avsm/setup-ocaml | actions | Package Usage

c-cube/ezcurl

A simple wrapper around OCurl.

v1 .github/workflows/gh-pages.yml

Size: 719 KB - Last synced: 5 days ago - Pushed: about 1 month ago

Risto-Stevcev/bastet 📦

A ReasonML/Ocaml library for category theory and abstract algebra

v1 .github/workflows/workflow.yml

Size: 4.52 MB - Last synced: about 2 months ago - Pushed: about 1 year ago

PLTools/Lama

Teaching language LaMa for a compiler course

v1 .github/workflows/blank.yml

Size: 17 MB - Last synced: 6 days ago - Pushed: 6 days ago

Cjen1/OCons

v1 .github/workflows/workflow.yml

Size: 1.54 MB - Last synced: 4 months ago - Pushed: 4 months ago

Matra202/ProgFonc

v1 .github/workflows/workflow.yml

Size: 38.1 KB - Last synced: 12 months ago - Pushed: over 1 year ago

andyhhp/xen-api Fork of xapi-project/xen-api

XCP xen-api

v1 .github/workflows/1.249-lcm.yml
v1 .github/workflows/format.yml
v1 .github/workflows/main.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

v1 .github/workflows/1.249-lcm.yml
v1 .github/workflows/format.yml
v1 .github/workflows/main.yml

Size: 69.1 MB - Last synced: 3 months ago - Pushed: 3 months ago

cyphercert/opencypher-coq

A Coq formalizaton of "Formalizing openCypher Graph Queries in Relational Algebra" [Marton-al:ADBIS17]

v1 .github/workflows/docker-action.yml

Size: 1.13 MB - Last synced: 4 months ago - Pushed: 10 months ago

OCamlPro/autofonce

A modern runner for GNU Autoconf testsuites in m4

v2 .github/workflows/workflow.yml

Size: 6.11 MB - Last synced: 3 months ago - Pushed: 3 months ago

kc284/xen-api Fork of xapi-project/xen-api

XCP xen-api

v1 .github/workflows/1.249-lcm.yml
v1 .github/workflows/format.yml
v1 .github/workflows/main.yml

Size: 61.3 MB - Last synced: 1 day ago - Pushed: 1 day ago

robhoes/xenopsd Fork of xapi-project/xenopsd

XCP toolstack domain manager

v1 .github/workflows/0.150-lcm.yml
v1 .github/workflows/main.yml

Size: 6.92 MB - Last synced: 9 months ago - Pushed: 9 months ago

hgouraud/geneweb Fork of geneweb/geneweb

GeneWeb is a genealogy software with a web interface created by Daniel de Rauglaudre. It can be installed locally on a stand-alone machine and on any web server.

v1 .github/workflows/ci.yml
v1 .github/workflows/doc.yml

Size: 65.2 MB - Last synced: about 15 hours ago - Pushed: 1 day ago

mirage/eqaf

Constant time equal function to avoid timing attacks in OCaml

v2 .github/workflows/test.yml

Size: 249 KB - Last synced: 5 days ago - Pushed: 21 days ago

ocaml-multicore/multicoretests

PBT testsuite and libraries for testing multicore OCaml

v2 .github/workflows/gh-pages.yml

Size: 2.69 MB - Last synced: 5 days ago - Pushed: 6 days ago

OCamlPro/drom-test

v1 .github/workflows/doc-deploy.yml
v1 .github/workflows/workflow.yml

Size: 3.12 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago

paveon/Looper

Loop complexity analyzer plugin for Facebook Infer static analysis tool

v1 .github/workflows/install.yml

Size: 145 MB - Last synced: 2 days ago - Pushed: 3 days ago

austral/austral

Systems language with linear types and capability-based security.

v2 .github/workflows/build-and-test.yml

Size: 4.55 MB - Last synced: 3 days ago - Pushed: 2 months ago

zshipko/ocaml-rust-starter

Getting started with ocaml-rs

v1 .github/workflows/ocaml.yml

Size: 20.5 KB - Last synced: 8 months ago - Pushed: 11 months ago

mattiasdrp/usuba Fork of usubalang/usuba

A programming language to write bitsliced ciphers

v1 .github/workflows/check_fmt.yml
v1 .github/workflows/make_and_test.yml

Size: 100 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

gabrielhdt/lambdapi Fork of Deducteam/lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

v1 .github/workflows/main.yml

Size: 38.9 MB - Last synced: about 8 hours ago - Pushed: about 17 hours ago

usubalang/usuba

A programming language to write bitsliced ciphers

v1 .github/workflows/check_fmt.yml
v1 .github/workflows/make_and_test.yml

Size: 100 MB - Last synced: 25 days ago - Pushed: over 1 year ago

mirage/irmin-watcher

Portable implementation of the Irmin Watch API

v1 .github/workflows/test.yml

Size: 168 KB - Last synced: 5 days ago - Pushed: 13 days ago

skolemlabs/mysql8

v2 .github/workflows/main.yml

Size: 382 KB - Last synced: 7 months ago - Pushed: 7 months ago

OCamlPro/ez_subst

Simple substitution module for OCaml

v2 .github/workflows/doc-deploy.yml
v2 .github/workflows/workflow.yml

Size: 8.15 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

ulugbekna/ocaml-lsp Fork of ocaml/ocaml-lsp

OCaml Language Server Protocol implementation

v1 .github/workflows/build-and-test.yml

Size: 5.72 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

ArulselvanMadhavan/vega-lite Fork of imandra-ai/vega-lite

OCaml library to produce vega-lite visualizations (as json objects)

v2 .github/workflows/gh-pages.yml

Size: 93.8 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

PLTools/GT

Datatype-generic object-oriented transformations for OCaml

v1 .github/workflows/PR.yml
v2 .github/workflows/master.yml

Size: 3.34 MB - Last synced: 29 days ago - Pushed: 30 days ago

julien-blanchon/Genetik

A weird programming language based on genetics

v1 .github/workflows/build_on_tag.yml

Size: 31.3 KB - Last synced: about 1 year ago - Pushed: about 2 years ago

OCamlPro/ez_file

Library with helpers to manipulate files, read/write their content, search directories, etc.

v2 .github/workflows/workflow.yml

Size: 8.31 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

OCamlPro/ez_config

Library to read/write configuration files in OCaml syntax

v2 .github/workflows/workflow.yml

Size: 7.96 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

aantron/dream

Tidy, feature-complete Web framework

v2 .github/workflows/test.yml

Size: 3.79 MB - Last synced: 5 days ago - Pushed: 5 days ago

tizoc/ocaml-interop

OCaml<->Rust FFI with an emphasis on safety.

v1 .github/workflows/build.yml
v1 .github/workflows/clippy.yml

Size: 432 KB - Last synced: 16 days ago - Pushed: 3 months ago

uds-psl/coq-synthetic-incompleteness

v1 .github/workflows/build.yml

Size: 6.59 MB - Last synced: 12 months ago - Pushed: over 1 year ago

Deducteam/Dedukti

Implementation of the λΠ-calculus modulo rewriting

v1 .github/workflows/main.yml

Size: 9.69 MB - Last synced: 6 months ago - Pushed: 6 months ago

This library contains some basic stuff that is used in some OCP libraries and applications. Most of them are probably available in other extensions of the standard libraries (extlib, core, etc.), but we are used to these ones.

v2 .github/workflows/workflow.yml

Size: 3.28 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

AkihisaYamada/isabelle_dedukti-dead Fork of Deducteam/isabelle_dedukti

Isabelle component for dedukti

v2 .github/workflows/main.yaml

Size: 776 KB - Last synced: 4 months ago - Pushed: 4 months ago

Kakadu/pat-match

v2 .github/workflows/Build_4.12.1.yml
v1 .github/workflows/FCPM.yml
v2 .github/workflows/master.yml

Size: 730 KB - Last synced: 12 months ago - Pushed: about 1 year ago

skolemlabs/skmysql

v2 .github/workflows/main.yml

Size: 115 KB - Last synced: 7 months ago - Pushed: 7 months ago

EliasGit2017/digodoc Fork of OCamlPro/digodoc

Dig into an opam switch for doc

v2 .github/workflows/doc-deploy.yml
v1 .github/workflows/workflow.yml

Size: 6.95 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

oxidizing/letters

Letters is an OCaml library for creating and sending emails over SMTP using LWT

v1 .github/workflows/ci.yml

Size: 132 KB - Last synced: about 2 months ago - Pushed: about 2 months ago

Zilliqa/scilla-compiler 📦

Compile Scilla to LLVM-IR

v1 .github/workflows/workflow.yml

Size: 19.2 MB - Last synced: 9 months ago - Pushed: over 1 year ago

bn-peters/coq-library-undecidability Fork of dominik-kirst/coq-library-undecidability

A library of formalised undecidable problems in Coq

v1 .github/workflows/build.yml

Size: 12.8 MB - Last synced: 12 months ago - Pushed: over 1 year ago

inhabitedtype/angstrom

Parser combinators built for speed and memory efficiency

v1 .github/workflows/test.yml

Size: 611 KB - Last synced: 5 days ago - Pushed: 4 months ago

besport/ocaml-cordova-plugin-firebase

v1 .github/workflows/main.yml
v1 .github/workflows/main.yml~

Size: 18.6 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

besport/ocaml-gapi

v1 .github/workflows/main.yml

Size: 21.5 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

dannywillems/ocaml-cordova-plugin-inappbrowser

Binding in OCaml to cordova-plugin-inappbrowser using gen_js_api.

v1 .github/workflows/main.yml

Size: 19.5 KB - Last synced: 9 months ago - Pushed: over 1 year ago

besport/ocaml-cordova-plugin-googleplus

v1 .github/workflows/main.yml

Size: 18.6 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

besport/ocaml-hls

v1 .github/workflows/main.yml

Size: 23.4 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

besport/ocaml-mixpanel

v1 .github/workflows/main.yml

Size: 28.3 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

upenn-cis1xx/camelot

A fully-modular OCaml style linter

v1 .github/workflows/workflow.yml

Size: 2.61 MB - Last synced: 3 months ago - Pushed: 8 months ago

besport/ocaml-branch-cordova-sdk

v1 .github/workflows/main.yml

Size: 21.5 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

besport/ocaml-screen-orientation

v1 .github/workflows/main.yml

Size: 28.3 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

jubnzv/iec-checker

Static analysis of IEC 61131-3 programs

v2 .github/workflows/unit_tests.yml

Size: 469 KB - Last synced: 5 days ago - Pushed: about 1 year ago

LPCIC/coq-elpi

Coq plugin embedding elpi

v1 .github/workflows/doc.yml

Size: 6.57 MB - Last synced: 6 days ago - Pushed: 6 days ago

xapi-project/xen-api

The Xapi Project's XenAPI Server

v1 .github/workflows/1.249-lcm.yml
v1 .github/workflows/main.yml

Size: 76.2 MB - Last synced: 13 days ago - Pushed: 14 days ago

facebook/pyre-check

Performant type-checking for python.

v2 .github/workflows/pysa.yml

Size: 113 MB - Last synced: 3 days ago - Pushed: 3 days ago

darrenldl/oali

OCaml Arch Linux Installer

v1 .github/workflows/deploy-bin.yml

Size: 630 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

zshipko/irmin-rs Fork of mirage/irmin-rs

v2 .github/workflows/rust.yml

Size: 97.7 KB - Last synced: 8 months ago - Pushed: about 1 year ago

xi-liu-ds/infer Fork of facebook/infer

A static analyzer for Java, C, C++, and Objective-C

v1 .github/workflows/install.yml

Size: 148 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

OCamlPro/bitpack_serializer

This library provides functions for encoding efficiently simple OCaml data.

v2 .github/workflows/workflow.yml

Size: 150 KB - Last synced: 6 months ago - Pushed: about 1 year ago

mgree/kmt

Kleene algebra modulo theories

v2 .github/workflows/build.yml

Size: 246 KB - Last synced: 15 days ago - Pushed: over 1 year ago

n-osborne/qcheck Fork of c-cube/qcheck

QuickCheck inspired property-based testing for OCaml.

v1 .github/workflows/gh-pages.yml

Size: 1.86 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

formal-land/coq-of-LLBC

Translate Rust 🦀 LLBC code (generated by https://github.com/AeneasVerif/charon) to Coq 🐓

v1 .github/workflows/ci.yml

Size: 55.7 KB - Last synced: 9 months ago - Pushed: about 1 year ago

zshipko/futhark-bindgen

A Futhark binding generator for Rust and OCaml

v2 .github/workflows/examples.yml

Size: 125 KB - Last synced: 14 days ago - Pushed: 2 months ago

geneweb/geneweb

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

v1 .github/workflows/ci.yml
v1 .github/workflows/doc.yml

Size: 65.3 MB - Last synced: 5 days ago - Pushed: 5 days ago

Gbury/dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

v2 .github/workflows/build.yml
v2 .github/workflows/install.yml
v2 .github/workflows/release.yml

Size: 9.92 MB - Last synced: 5 days ago - Pushed: 9 days ago

sewenthy/monorobot Fork of ahrefs/monorobot

github monorepo bot - configurable directory tree notifications in slack

v1 .github/workflows/test.yml

Size: 817 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

alire-project/GNAT-FSF-builds

Builds of the GNAT Ada compiler from FSF GCC releases

v2 .github/workflows/linux.yml
v2 .github/workflows/macos.yml
v1 .github/workflows/windows.yml

Size: 1.55 MB - Last synced: about 18 hours ago - Pushed: about 1 month ago

reactiveml/rml

ReactiveML: a programming language for implementing interactive systems.

v2 .github/workflows/opam.yml

Size: 8.23 MB - Last synced: about 2 months ago - Pushed: over 1 year ago

OCamlPro/ocaml-canvas

The OCaml-Canvas library provides a portable Canvas for OCaml

v2 .github/workflows/workflow.yml

Size: 5.33 MB - Last synced: about 1 month ago - Pushed: 12 months ago

dannywillems/ocaml-cordova

Create your own cordova plugin in OCaml

v1 .github/workflows/main.yml

Last synced: about 1 year ago

OCamlPro/owi

WebAssembly Swissknife

v1 .github/workflows/build.yml
v1 .github/workflows/deploy.yml

Size: 9.77 MB - Last synced: about 8 hours ago - Pushed: about 14 hours ago

andersfugmann/amqp-client

OCaml Amqp client library for Async and Lwt.

v2 .github/workflows/workflow.yml

Size: 1.18 MB - Last synced: 3 days ago - Pushed: 3 months ago

savonet/ocaml-cry

OCaml native module for icecast/shoutcast source protocol(s).

v2 .github/workflows/doc.yml

Size: 774 KB - Last synced: 9 days ago - Pushed: about 1 month ago

savonet/ocaml-portaudio

OCaml bindings for portaudio.

master .github/workflows/main.yml

Size: 85 KB - Last synced: 9 days ago - Pushed: over 1 year ago

Package Usage: actions: avsm/setup-ocaml

Dependent Repos 193

Risto-Stevcev/bastet 📦

andyhhp/xen-api Fork of xapi-project/xen-api

robhoes/xen-api Fork of xapi-project/xen-api

kc284/xen-api Fork of xapi-project/xen-api

robhoes/xenopsd Fork of xapi-project/xenopsd

hgouraud/geneweb Fork of geneweb/geneweb

mattiasdrp/usuba Fork of usubalang/usuba

gabrielhdt/lambdapi Fork of Deducteam/lambdapi

ulugbekna/ocaml-lsp Fork of ocaml/ocaml-lsp

ArulselvanMadhavan/vega-lite Fork of imandra-ai/vega-lite

AkihisaYamada/isabelle_dedukti-dead Fork of Deducteam/isabelle_dedukti

EliasGit2017/digodoc Fork of OCamlPro/digodoc

Zilliqa/scilla-compiler 📦

bn-peters/coq-library-undecidability Fork of dominik-kirst/coq-library-undecidability

zshipko/irmin-rs Fork of mirage/irmin-rs

xi-liu-ds/infer Fork of facebook/infer

n-osborne/qcheck Fork of c-cube/qcheck

sewenthy/monorobot Fork of ahrefs/monorobot