garrigue / certint

A Certified Interpreter for ML with Structural Polymorphism
44Updated 3 weeks ago

Alternatives and similar repositories for certint:

Users that are interested in certint are comparing it to the libraries listed below