Higher-order-unification Alternatives
Similar projects and alternatives to higher-order-unification
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better higher-order-unification alternative or higher similarity.
higher-order-unification reviews and mentions
Posts with mentions or reviews of higher-order-unification.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-02-08.
-
Lambda Cube in 100 or so lines of comments and code.
https://github.com/jozefg/higher-order-unification Maybe this one is more practical for haskeller
Stats
Basic higher-order-unification repo stats
1
178
0.0
over 6 years ago
jozefg/higher-order-unification is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of higher-order-unification is Haskell.
Popular Comparisons
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com