garrigue/labltk

Stars
30
Rank 814,729 (Top 17 %)
Language
OCaml
Created about 9 years ago
Updated 9 months ago

garrigue/labltk

garrigue

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

LablTk, an OCaml interface for Tcl/Tk

lablgtk

LablGTK 2 and 3: an interface to the GIMP Tool Kit

certint

A Certified Interpreter for ML with Structural Polymorphism

lablgl

LablGL: an openGL interface for OCaml

safeio

An encoding of file handles ensuring linear use

mixev

Mixin evaluators for the expression problem, based "Code reuse through polymorphic variants"

schedule_parser

Tool to produce programme from researchr data.