ex_check VS dialyxir

Compare ex_check vs dialyxir and see what are their differences.

ex_check

One task to efficiently run all code analysis & testing tools in an Elixir project. Born out of 💜 to Elixir and pragmatism. (by karolsluszniak)

dialyxir

Mix tasks to simplify use of Dialyzer in Elixir projects. (by jeremyjh)
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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
ex_check dialyxir
- 4
301 1,657
- -
4.8 7.4
2 months ago 4 months ago
Elixir Elixir
MIT License Apache License 2.0
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

ex_check

Posts with mentions or reviews of ex_check. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning ex_check yet.
Tracking mentions began in Dec 2020.

dialyxir

Posts with mentions or reviews of dialyxir. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-08-14.
  • Elixir – Why the dot (when calling anonymous functions)?
    2 projects | news.ycombinator.com | 14 Aug 2023
    For those of you who are interested by Elixir but find the lack of static typing an issue here are somethings to be aware of:

    1. Static Typing is planned and currently the top priority of the team

    https://elixir-lang.org/blog/2022/10/05/my-future-with-elixi...

    2. There is a type checking tool

    https://github.com/jeremyjh/dialyxir

    3. You can go a long way with pattern matching and guides in the meantime and have alot more guarantees that a typical dynamic typed language.

  • Beginner DX Questions
    1 project | /r/elixir | 18 Nov 2022
    There's the combo typespecs, dialyzer and dialixyr, with heavy emphasis on "optional". It's polarizing and imperfect and currently the best we've got. Many community hex packages including some of the ones you're interested in don't really make use of them, which reduces some of the utility.
  • Elixir Circuits.I2C with Mox
    3 projects | dev.to | 2 Dec 2021
  • Typeclasses in Python
    3 projects | dev.to | 8 Jul 2021
    The thing with Elixir's Protocols is that it is not currently possible to express that some type does support our Greet.greet for Elixir's type checker. But, this is not a big deal for Elixir, which is 100% dynamically typed.

What are some alternatives?

When comparing ex_check and dialyxir you can also consider the following projects:

excoveralls - Coverage report tool for Elixir with coveralls.io integration.

credo - A static code analysis tool for the Elixir language with a focus on code consistency and teaching.

dotenv-linter - ⚡️Lightning-fast linter for .env files. Written in Rust 🦀

do_it - Do It - Elixir Command Line Interface Library

exprof - A simple code profiler for Elixir using eprof.

excellent_migrations - An Elixir tool for checking safety of database migrations.

dogma - :closed_lock_with_key: A code style linter for Elixir

int_set - A time- and memory-efficient data structure for positive integers.

coverex - Coverage Reports for Elixir

belvedere - An example of CircleCI integration with Elixir