engboris / stellogenLinks

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

Alternatives and similar repositories for stellogen

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

Sorting: