Tptp Alternatives
Similar projects and alternatives to tptp
-
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
-
-
-
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
-
-
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.
-
pretty-simple
pretty-printer for Haskell data types that have a Show instance
-
tptp reviews and mentions
We haven't tracked posts mentioning tptp yet.
Tracking mentions began in Dec 2020.
Stats
aztek/tptp is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.
The primary programming language of tptp is Haskell.