dialyzer topic

List dialyzer repositories

elixir-lang-dialyzer-runs

7
Stars
1
Forks
Watchers

Daily Dialyzer checks on Elixir source code

hammox

552
Stars
25
Forks
Watchers

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

erlex

34
Stars
17
Forks
Watchers

Convert Erlang style structs and error messages to equivalent Elixir.

dialyxir

1.7k
Stars
139
Forks
Watchers

Mix tasks to simplify use of Dialyzer in Elixir projects.

elixir-boilerplate

1.1k
Stars
83
Forks
Watchers

⚗ The stable base upon which we build our Elixir projects at Mirego.

dialyzex

62
Stars
8
Forks
Watchers

A Mix task for type-checking your Elixir project with dialyzer

travis_elixir_plts

16
Stars
3
Forks
Watchers

Pre-built Dialyzer Persistent Lookup Tables for Travis and Elixir

katana-test

32
Stars
6
Forks
Watchers

Meta Testing Utilities for common_test

tyyppi

15
Stars
0
Forks
Watchers

Propagate specs to runtime types