pirbo Goto Github PK

arduino

firmata firmware for arduino

atd

Static types for JSON APIs

ber-model

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.

cppo

C-style preprocessor for OCaml

lablgtkosxapplication

This project aims to bind gtkOSXApplication on top of lablgtk.

ocaml

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

ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

ocaml-hidapi

Bindings to http://www.signal11.us/oss/hidapi/

ocaml-ledger-wallet

ocplib-json-typed

Libraries for reliable manipulation JSON objects.

ocplib-resto

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

opam-cross-windows

An OCaml cross-toolchain for Windows and several useful libraries

opam-repository

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

teztnets

Automated Testnets

tsdl

Thin bindings to SDL for OCaml

zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.