Chymyst / curryhowardLinks

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
258Updated last week

Alternatives and similar repositories for curryhoward

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

Sorting: