engboris / stellogenLinks

An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
110Updated 2 weeks ago

Alternatives and similar repositories for stellogen

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

Sorting: