Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: System :: Hardware

Open Source

LGPL

Bindings with C libraries
APM [05-Nov-2002, version 1.00, Stable] Has a documentation
This package provides basic interface to Linux APM driver for Objective Caml programs.
Author: Vincent Simonet.
Native OCaml libraries
HDCaml [07-Nov-2005, version 0.2.9, Beta]
HDCaml provides a framework for describing hardware structures in OCaml. Given a functional hardware description, HDCaml will produce a Verilog netlist for verification and implementation. HDCaml also has decent PSL support for assertion based verification.
Author: Tom Hawkins.
Bindings with C libraries
OCamlPCSC [30-Jul-2007, version 0.6, Beta] Has a Godi package
An OCaml binding that allows the manipulation of Smartcards in OCaml, both in Linux, through the C library PCSC-Lite provided by M.U.S.C.L.E. and in Windows through Winscard.dll.

GPL

Bindings with C libraries
OCaml-Lirc [03-Mar-2003, version 0.1.0, Beta]
OCaml bindings for the LIRC (Linux Infrared Remote Control) library.
Author: Damien Pous.

Others

Bindings with C libraries
Camlusb [17-Feb-2005, version 1.0b, Beta]
Camlusb is an Ocaml binding to libusb. Libusb is a portable library to access USB devices in user space, available for various operating systems.
Author: Gina Belmonte.
Bindings with C libraries
daml [12-Dec-2008, Development code]
daml is an OCaml binding to the CUDA API.
Author: Sashan Govender.