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. Learn more →
Gradualizer Alternatives
Similar projects and alternatives to Gradualizer
-
-
-
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.
-
-
-
emqx
The most scalable open-source MQTT broker for IoT, IIoT, and connected vehicles
-
vernemq
A distributed MQTT message broker based on Erlang/OTP. Built for high quality & Industrial use cases. The VerneMQ mission is active & the project maintained. Thank you for your support!
-
-
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 Gradualizer alternative or higher similarity.
Gradualizer reviews and mentions
Posts with mentions or reviews of Gradualizer.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-04-17.
-
eqwalizer VS Gradualizer - a user suggested alternative
2 projects | 17 Apr 2023
Gradualizer is a typechecker for Erlang. It's a bidirectional typechecker, which means it uses non-local type inference, i.e. a blend of typechecking with type inference. It aims to follow the principles of gradual typing, so that it's possible to add type annotations only to parts of your code, instead of the entire code base, and it's going to work with that. One of the eqwalizer authors, Ilya Klyuchnikov, contributed to Gradualizer in the past.
-
[New] How do you verify program correctness in Elixir?
[Gradient](https://github.com/esl/gradient) and [Gradualizer](https://github.com/josefs/Gradualizer) offer exhaustiveness checking for Elixir and Erlang, respectively. The projects are in development, there are known issues so YMMV, but we're working on them.
If you're looking for compile-time (or actually check-time) feedback you might be interested in Gradient, a gradual type checker for Elixir and a frontend to Gradualizer. These tools, while experimental, allow for applying "making illegal states unrepresentable" principle thanks to exhaustiveness checking. In general, they are more akin to the ML-style type checking than Dialyzer is.
-
OCaml Programming: Correct and Efficient and Beautiful
I'm hoping that https://github.com/josefs/Gradualizer and its Elixir counterpart get us closer to what "I" want. I find dialyzer often inscrutable compared to something like OCaml's or Haskell's type errors.
I do still use it and typespecs, because it's better than no checking.
-
Elixir and Phoenix after two years
There's Gradualyzer with support for Gradual Typing on the way.
-
V0.14 of Gleam, a type safe language for the Erlang VM, has been released
There's an effort currently being led by Facebook to create gradual type system for Erlang call Gradualizer, which should also make its way over to Elixir.
-
A note from our sponsor - InfluxDB
www.influxdata.com | 16 Apr 2024
Stats
Basic Gradualizer repo stats
6
605
6.7
3 months ago
josefs/Gradualizer is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of Gradualizer is Erlang.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com