garrigue/lablgtk garrigue/lablgtk

  • Stars
    star
    89
  • Rank 364,173 (Top 8 %)
  • Language
    OCaml
  • License
    Other
  • Created over 8 years ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
garrigue/lablgtk
github

garrigue

Reviews

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

Repository Details

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

More Repositories

1

certint

A Certified Interpreter for ML with Structural Polymorphism
Coq
43
star
2

labltk

LablTk, an OCaml interface for Tcl/Tk
OCaml
31
star
3

lablgl

LablGL: an openGL interface for OCaml
OCaml
20
star
4

safeio

An encoding of file handles ensuring linear use
OCaml
8
star
5

mixev

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

schedule_parser

Tool to produce programme from researchr data.
OCaml
1
star