ghilesZ

geoml

A 2d geometry library for ocaml

picasso

OCaml Library for the drawing of abstract elements (Polyhedra, Octagon, Boxes)

Testify

A syntactic extension that generates tests for your programs.

apronext

few extension for the ocaml interface of the apron library

AbSolute

Constraint solver based on abstract domains

matrix

finding-memo

memoization extension syntax for ocaml

parsley

Parsley is not sugar

ppx_wideopen

A syntax extension that allows you to parse OCaml's float and integer litterals with a custom "of_string" function.

AnalyseAPITest

apron

Apron Numerical Abstract Domain Library

bensherif

elisp

my emacs lisp stuff

float-oct-branch

ghilesZ.github.io

js_of_ocaml_webcl

Nnet2AbS

objmerger

ocaml

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

opam-repository

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

pstl_game_engine

A time oriented game engine for OCaml

TestCoverage