cyberglot / faethLinks

algebraic typechecking and elaboration of type systems
12Updated 4 months ago

Alternatives and similar repositories for faeth

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

Sorting: