sjfloat Goto Github PK

miniprl

A small implementation of a proof refinement logic.

mirage

MirageOS is a library operating system that constructs unikernels

mirage-container

mirage-sj-container

mirage-skeleton

Build skeleton and examples of simple Mirage apps

mirage-vagrant-vms

Packer and Vagrant images for building Mirage

musicgeneration

Algorithmic Composition

nano-basket

Configurator software for the Korg nanoSERIES of MIDI controllers

network-hans

HaNS <-> Network Shims for easier porting to HaNS and the HaLVM

nix-build-ghc-android

ghc-android build using nix

nixpkgs

Nix Packages collection

nodejs-container

notary

npf

code to host a professional site

nq

Unix command line queue utility

ocaml-amqp

amqp library for ocaml

ocaml-bjack

OCaml blocking JACK API

ocaml-container

ocaml-ctypes

Library for binding to C libraries using pure OCaml

ocaml-eff-example

Examples to illustrate the use of algebraic effects in OCaml

ocaml-exercism-container

ocaml-exercism-sj-container

ocaml-git

Pure OCaml Git format and protocol

ocaml-glfw

This package provides OCaml bindings for [GLFW](http://www.glfw.org).

ocaml-nodejs

OCaml js_of_ocaml bindings to nodejs. Yes this is for real.

ocaml-sj-container

ocp-index

Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.

oftvbeae

ocaml-from-the-very-beginning-examples-and-exercises

om

ClojureScript interface to Facebook's React

opam-rumprun

OCaml 4.02 cross compiler for the rumprun unikernel stack