Pinned Repositories
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/
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
pirbo's Repositories
pirbo/lablGtkOSXApplication
This project aims to bind gtkOSXApplication on top of lablgtk.
pirbo/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
pirbo/arduino
firmata firmware for arduino
pirbo/atd
Static types for JSON APIs
pirbo/ber-model
pirbo/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.
pirbo/cppo
C-style preprocessor for OCaml
pirbo/ocaml
The core OCaml system: compilers, runtime system, base libraries
pirbo/ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
pirbo/ocaml-hidapi
Bindings to http://www.signal11.us/oss/hidapi/
pirbo/ocaml-ledger-wallet
pirbo/ocplib-json-typed
Libraries for reliable manipulation JSON objects.
pirbo/ocplib-resto
A minimal OCaml library for type-safe HTTP/JSON RPCs
pirbo/opam-cross-windows
An OCaml cross-toolchain for Windows and several useful libraries
pirbo/teztnets
Automated Testnets
pirbo/tsdl
Thin bindings to SDL for OCaml
pirbo/Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.