kakadu Goto Github PK

pp_sexp

Pretty-printing of s-expressions. Implemented in OCaml

proelium

Civilization III - like fighting model.

pulse_wrapper

qml-test

qml-test

qml-test-2

qml-test-3

qocamlbrowser

It is my attempt to create ocamlbrowser clone using QtQuick and prototyping binding code manually.

qocamlbrowser_quick

A clone of ocamlbrowser application written in OCaml+QtQuick 2.0 using lablqt library and mocml generator.

qoq

qreal

CASE and metaCASE system

qt-android-cmake

A simple CMake utility for building and deploying Qt based applications on Android without QtCreator

qt-creator

WIP on OCaml + QtCreator integreation.

qt-opam

qt_libusb

Qt GUI with libusb integration example.

qtcreator-demo

Qt Creator plugins demos

qtcreator-ocaml-plugin

qtcustomtest1

qtdeclarative-plugins-demo

qtquick_test_instantiator

Demo for menu instantiator

qtsqltest

reason-demo1

reasonml.github.io

Reason's documentation site

reduceron

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.

relational_appendo

retro-concurrency-bench

Microbenchmarks from the PLDI21 paper "Retrofitting Effect Handlers onto OCaml"

rms-support-letter.github.io

An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation

rubycreator

Plugins to add Ruby language support to QtCreator IDE.

sample-implementation

Automatically exported from code.google.com/p/sample-implementation

scala_test

schedule