OCamlPro

Repositories

• alt-ergo

  OCamlPro public development repository for Alt-Ergo

  satisfiability-modulo-theories
  OCaml 20 78 41 10 Updated Dec 19, 2020

• drom

  drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
  OCaml 7 72 14 4 Updated Dec 18, 2020

• opam

  Forked from ocaml/opam

  OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
  OCaml 277 17 0 0 Updated Dec 17, 2020

• ez-api

  Easy API library over ocplib-resto/ocplib-directory
  OCaml GPL-3.0 9 9 0 0 Updated Dec 16, 2020

• ezjs_min

  A bunch of js_of_ocaml shortcuts
  OCaml LGPL-2.1 2 6 0 0 Updated Dec 15, 2020

• digodoc

  Dig into an opam switch for doc
  OCaml 2 2 1 0 Updated Dec 10, 2020

• ez_cmdliner

  Easy Cmdliner
  OCaml 1 8 0 0 Updated Dec 9, 2020

• opam-bin

  Binary packages for OPAM with local and remote repositories
  OCaml 3 11 4 0 Updated Dec 9, 2020

• ez_opam_file

  a compatibility library for opam-file-format
  OCaml 1 3 0 0 Updated Dec 6, 2020

• liquidity

  A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

  ocaml smart-contracts blockchain liquidity tezos michelson
  OCaml GPL-3.0 34 138 10 4 Updated Dec 1, 2020

• ocplib-json-typed

  Libraries for reliable manipulation JSON objects.
  OCaml 12 18 5 1 Updated Nov 30, 2020

• ez_subst

  Simple substitution module for OCaml
  OCaml 2 2 0 0 Updated Nov 28, 2020

• memthol

  Memthol is a visualizer for memory profiling data generated from OCaml programs.

  visualization ocaml profiling
  Rust GPL-3.0 2 16 0 0 Updated Nov 24, 2020

• ocp-indent

  Indentation tool for OCaml, to be used from editors like Emacs and Vim.
  OCaml 56 171 46 5 Updated Nov 19, 2020

• directories

  directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows. The following conventions are used: XDG Base Directory Specification and xdg-user-dirs on Linux, Known Folders on Windows, Standard Directories on macOS.

  config windows macos linux data cache conventions
  OCaml ISC 1 14 3 0 Updated Nov 10, 2020

• ocp-build

  See www.typerex.org to download ocp-build
  OCaml 11 5 17 7 Updated Nov 7, 2020

• ocp-index

  Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.
  OCaml 25 56 16 2 Updated Nov 4, 2020

• drom-test
  Python 0 0 0 0 Updated Oct 29, 2020

• ezjs_extension

  Binding for Chrome and Firefox extension API
  OCaml LGPL-2.1 0 0 0 0 Updated Oct 29, 2020

• ezjs

  Some useful libraries to work with `js_of_ocaml`
  OCaml GPL-3.0 9 11 0 1 Updated Oct 27, 2020

• ezjs_push

  OCaml bindings for Push Notification
  OCaml LGPL-2.1 1 2 0 0 Updated Oct 24, 2020

• ezjs_crypto

  Js_of_ocaml bindings for subtle crypto
  OCaml LGPL-2.1 0 0 0 0 Updated Oct 24, 2020

• relocation-patches

  A repository of patches to make OPAM packages relocatable
  Shell 1 5 0 0 Updated Oct 24, 2020

• ezjs_idb

  Js_of_ocaml bindings for IndexedDB
  OCaml LGPL-2.1 0 0 0 0 Updated Oct 24, 2020

• ezjs_cytoscape

  Js_of_ocaml bindings for Cytoscape
  OCaml LGPL-2.1 0 0 0 0 Updated Oct 24, 2020

• ezjs_jquery

  Js_of_ocaml bindings for jquery
  OCaml LGPL-2.1 0 0 0 0 Updated Oct 24, 2020

• ezjs_ace

  Bindings for the Ace editor
  OCaml LGPL-2.1 0 3 0 0 Updated Oct 24, 2020

• ezjs_cleave

  OCaml bindings for Cleave JS
  OCaml LGPL-2.1 0 2 0 0 Updated Oct 24, 2020

• ezjs_timeline

  OCaml bindings for TimelineJS
  OCaml LGPL-2.1 0 2 0 0 Updated Oct 24, 2020

• ezjs_recaptcha

  OCaml bindings for reCAPTCHA
  OCaml LGPL-2.1 0 2 0 0 Updated Oct 24, 2020