Top 3 Elixir Dialyzer Projects

dialyxir

4 1,657 7.4 Elixir

Mix tasks to simplify use of Dialyzer in Elixir projects.

Project mention: Elixir – Why the dot (when calling anonymous functions)? | news.ycombinator.com | 2023-08-14

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.
elixir-boilerplate

3 1,088 8.9 Elixir

⚗ The stable base upon which we build our Elixir projects at Mirego.
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.
hammox

1 545 0.0 Elixir

🏝 automated contract testing via type checking for Elixir functions and mocks

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-08-14.