Type-systems Alternatives
Similar projects and alternatives to type-systems based on common topics and language
-
-
-
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.
-
-
-
-
mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security. (by MinaProtocol)
-
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.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better type-systems alternative or higher similarity.
type-systems reviews and mentions
Posts with mentions or reviews of type-systems.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Implementing Traits/Interfaces/Typeclasses in a type inference system?
I've recently implemented Algorithm W + Typeclasses here but now working on an alternative implementation which is based on HM(X) (see Type Inference with Constrained Types) which is more uniform and flexible (treats inference as constraint solving and thus can be extended with more types of constraints).
Stats
Basic type-systems repo stats
1
40
0.0
over 2 years ago
The primary programming language of type-systems is OCaml.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com