andrewray Goto Github PK

base

Standard library for OCaml

camlp4

Camlp4 tool

core_kernel

Jane Street Capital's standard library overlay (kernel)

corundum

Open source, high performance, FPGA-based NIC

definitelymaybetyped

TypeScript to js_of_ocaml

devpages

web and js_of_ocaml experiments

fpga_snark_prover

An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs

hardcaml_arty

A hardcaml library to interface with arty boards

hardcaml_picorv32

Hardcaml PicoRV32 port

iocaml

An OCaml kernel for the IPython notebook

iocamljs

An OCaml javascript kernel for the IPython notebook

iocamllib

Useful code for the IOCaml notebook

iocamlserver

Web server for IOCaml

jbuilder

A composable build system for OCaml

js_of_ocaml

Compiler from OCaml to Javascript.

kfreebsd-console

Example mirage kfreebsd application.

lambda-term

Terminal manipulation library for OCaml

lwt

OCaml promises and concurrent I/O.

lwt-zmq

Lwt-friendly interface to ZeroMQ for OCaml

mikmatch

OCaml pattern-matching extended with regexps

mirage

Cloud programming platform

mirage-console

Portable console handling for Mirage applications

mirage-fpga

Mirage running on ARM based SoC FPGAs

mirage-kfreebsd

mirage-platform

Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen microkernel.

numcaml

Scientific Computing Tools For OCaml

ocaml

Read-only mirror of INRIA SVN

ocaml-4.01.0-mirage-kfreebsd

ocaml 4.01.0 for mirage-kfreebsd

ocaml-c3

OCaml bindings for the Javascript c3 charting library

ocaml-cohttp

Very lightweight HTTP server using Lwt or Async