dialyzer

There are 14 repositories under dialyzer topic.

jeremyjh/dialyxir
Mix tasks to simplify use of Dialyzer in Elixir projects.
Language:Elixir1.7k 21 293142
mirego/elixir-boilerplate
⚗ The stable base upon which we build our Elixir projects at Mirego.
Language:Elixir1.1k 51 2084
msz/hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
Language:Elixir565 4 3428
Comcast/dialyzex
A Mix task for type-checking your Elixir project with dialyzer
Language:Elixir61 15 98
asummers/erlex
Convert Erlang style structs and error messages to equivalent Elixir.
Language:Elixir34 3 1117
inaka/katana-test
Meta Testing Utilities for common_test
Language:Erlang32 36 06
danielberkompas/travis_elixir_plts
Pre-built Dialyzer Persistent Lookup Tables for Travis and Elixir
16 3 73
am-kantox/tyyppi
Propagate specs to runtime types
Language:Elixir15 3 8
michallepicki/elixir-lang-dialyzer-runs
Daily Dialyzer checks on Elixir source code
Language:Elixir10 2 81
eksperimental/extended_types
Extended Types. Import additional types to your Elixir modules.
Language:Elixir6 2 00
hudsonbay/dialyzer_playground
Different example files that demonstrate how Dialyzer can catch simple type errors
Language:Elixir2 1 00
aztek/atomizer
⚛︎ Find misplaced atoms in Erlang code
Language:Erlang1 3 0
LLCAEON/pronto-dialyxir
Language:Ruby1 2 02
michallepicki/nimble_options_type
Generating type specs for NimbleOptions schemas
Language:Elixir2 0