OCamlPro

Login: OCamlPro

Company: null

Location: Paris -- Saclay

email: contact@ocamlpro.com

Blog: http://www.ocamlpro.com/

Members

1. Benjamin Canou
2. Louis Gesbert

Repositories

ace-ocaml-devel

null

alt-ergo

OCamlPro public development repository for Alt-Ergo

biblio-irill

bibliography for Irill

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Dessiner

Un petit DSL dans OCaml pour dessiner

ez-api

Easy API library over ocplib-resto/ocplib-directory

ezcmd

Easy Cmdliner

ez-pgocaml

null

flambda-task-force

null

flow

Adds static typing to JavaScript to improve developer productivity and code quality.

hhvm

A virtual machine designed for executing programs written in Hack and PHP.

ISN-OCaml

Les exemples de code de l'option ISN (Informatique & Sciences du Numérique) en OCaml

jit_ocaml

A JIT in OCaml for Scilab (part of the Richelieu FUI project)

liquidity

A high-level language for Tezos with OCaml syntax, with a decompiler from Michelson

numcaml

Scientific Computing Tools For OCaml

ocamlbench-repo

An opam 2.0 repository holding the definition for benches on bench.flambda.ocamlpro.com

ocaml-benchs

Sources of the set of benchmarks distributed in OCamlPro/opam-bench-repo

ocaml-cheat-sheets

A set of Cheat Sheets for OCaml

ocamlc-plugins

Examples of plugins for ocamlc/ocamlopt

ocamlexc

OCaml uncaught exception analyser

ocaml-installer

The official windows installer (built using NSIS) for OCaml

ocaml-materialize

Javascript Binding on Materialize

ocaml-perf

binding for linux-perf library for OCaml

OCamlPro-OCaml-Branch

This is a fork of the inline-more branch in the OCaml SVN repository.

ocamltk

the initial ocaml tk library

ocaml-top

A simple cross-platform OCaml code editor built for top-level evaluation.

ocp-analyzer

null

ocp-annot

A tool to use .annot files generated for OCaml

ocp-build

See www.typerex.org to download ocp-build

ocp-cplugins

Collection of plugins for CAML_CPLUGINS

ocp-indent

Indentation tool for OCaml, to be used from editors like Emacs and Vim.

ocp-index

Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.

ocplib-cmi

Small library to work with OCaml cmi files

ocplib-concur

A simple wrapper on top of Lwt and (partially) Async to write concurrent applications

ocplib-endian

Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.

ocplib-json-typed

Libraries for reliable manipulation JSON objects.

ocplib-jsutils

Some useful libraries to work with `js_of_ocaml`

ocplib-net

null

ocplib-resto

A minimal OCaml library for type-safe HTTP/JSON RPCs

ocplib-wxOCaml

a WxWidgets binding for OCaml

ocp-manager

See www.typerex.org to download ocp-manager

ocp-ocamlres

A simple tool and library to embed files and directories inside an OCaml executables

ocp-reloc

OCaml bytecode relocation

ocp-test-asm

A small testsuite for the OCaml native backend with minimal tests

ocp-typechecker

A tool to verify types inferred by OCaml

ocp-watcher

null

ocpwin-distrib

Knowledge Database for OCamlPro's version of OCaml on Windows

ollvm

An higher-level LLVM binding for 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.

opam-bench-repo

Set of benchmarks for OCaml organized as an OPAM repository

opam-builder

null

opam-compilers-repository

opam repository to build my ocaml branches

opam-flambda-repository

Main public package repository for OPAM, the source package manager of OCaml.

opam-flambda-repository-overlay

null

opam-manager

null

opam-repository-dose

OPAM Repository for the latest versions of ocamlgraph, cudf & dose, to help with testing

opam-user-setup

Simplify the configuration of editors for using OCaml tools

operf-macro

Some macro-benchmarks for operf and an OPAM repository for them

operf-micro

A set of micro-benchmarks for OCaml compiler

optal

A new language for optimization

ows

A service to analyse the state of the opam repository w.r.t. all available version of the OCaml compiler.

perfOCaml-2014

an environment to evaluate the performance of OCaml compilers and programs

ppx_tools

Tools for authors of ppx rewriters

procaml

The core OCaml system: compilers, runtime system, base libraries

richelieu

OCamlPro working copy of the Richelieu branch of Scilab 6

scilab-online

null

scilint

A tool to analyze Scilab projects to find potential bugs

SecurOCaml

Repository of the SecurOCaml Project

socaml-analyzer

null

tryocaml

An interactive tutorial to begin learning with OCaml

typerex-attic

A set of simple tools and libraries that we developed over the years for temporary OCaml projects. Most of them are only maintained/improved when we need them for a task.

typerex-binutils

null

typerex-clibs

Some C stubs

typerex-license

Templates for open-source licenses over Typerex

typerex-lint

Tools to manipulate source files (linting, patching, etc.)

typerex-lldb

An OCaml binding to the LLDB Debugging Framework

typerex-system

Some useful system tools in OCaml

ucf-rddl

null