garrigue/certint garrigue/certint

  • Stars
    star
    43
  • Rank 630,709 (Top 13 %)
  • Language Coq
  • Created over 4 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
garrigue/certint
github

garrigue

Reviews

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

Repository Details

A Certified Interpreter for ML with Structural Polymorphism

More Repositories

1

lablgtk

LablGTK 2 and 3: an interface to the GIMP Tool Kit
OCaml
89
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