Typesandinference Alternatives

Similar projects and alternatives to typesandinference

The-Spiral-Language

33 900 9.6 Python typesandinference VS The-Spiral-Language

Functional language with intensional polymorphism and first-class staging.
bluebird

11 25 0.0 C++ typesandinference VS bluebird

A work-in-progess programming language modeled after Ada and C++ (by csb6)
InfluxDB

www.influxdata.com
sponsored

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.
ric-script

8 32 7.5 C typesandinference VS ric-script

A modern scripting language; implemented in old school C, yacc & flex
exp-flow

1 13 8.9 JavaScript typesandinference VS exp-flow

Discontinued experimental rule-based programming formalism under construction [Moved to: https://github.com/contrast-zone/canon]
Jasper

4 56 6.4 C++ typesandinference VS Jasper

A programming language. Static types. Full type inference. Garbage collection. --- not stable
kay

1 19 0.0 typesandinference VS kay

A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology.
yasl

2 64 4.7 C typesandinference VS yasl

Bytecode Interpreter for Yet Another Scripting Language (YASL).
WorkOS

workos.com
sponsored

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 typesandinference alternative or higher similarity.

Suggest an alternative to typesandinference

typesandinference reviews and mentions

Posts with mentions or reviews of typesandinference. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-01-03.

January 2021 monthly "What are you working on?" thread
9 projects | /r/ProgrammingLanguages | 3 Jan 2021

I've got a few reference implementations of type inference algorithms that support principle types. They're all extensions of the Hindley-Milner type system, and so far I haven't tried to combine any of the extensions with other extensions. But I implemented them as similarly as possible so that the eventual attempt at joining them would not get hung up on implementation differences.