garrigue/mixev garrigue/mixev

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    OCaml
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
garrigue/mixev
github

garrigue

Reviews

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

Repository Details

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

More Repositories

1

lablgtk

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

certint

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

labltk

LablTk, an OCaml interface for Tcl/Tk
OCaml
32
star
4

lablgl

LablGL: an openGL interface for OCaml
OCaml
20
star
5

safeio

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

schedule_parser

Tool to produce programme from researchr data.
OCaml
1
star