Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: dialyzer
jeremyjh/dialyxir
Mix tasks to simplify use of Dialyzer in Elixir projects.
Language: Elixir - Size: 625 KB - Last synced: 4 days ago - Pushed: 5 months ago - Stars: 1,659 - Forks: 139
michallepicki/elixir-lang-dialyzer-runs
Daily Dialyzer checks on Elixir source code
Language: Elixir - Size: 278 KB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 10 - Forks: 1
mirego/elixir-boilerplate
⚗ The stable base upon which we build our Elixir projects at Mirego.
Language: Elixir - Size: 1.36 MB - Last synced: about 12 hours ago - Pushed: 1 day ago - Stars: 1,101 - Forks: 83
am-kantox/tyyppi
Propagate specs to runtime types
Language: Elixir - Size: 392 KB - Last synced: about 4 hours ago - Pushed: over 1 year ago - Stars: 15 - Forks: 0
msz/hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
Language: Elixir - Size: 333 KB - Last synced: about 1 month ago - Pushed: 6 months ago - Stars: 545 - Forks: 25
maennchen/dialyzer-absolute-path-bug 📦
Reproduction for Dialyzer 🪲
Language: Elixir - Size: 2.93 KB - Last synced: 20 days ago - Pushed: 12 months ago - Stars: 0 - Forks: 0
asummers/erlex
Convert Erlang style structs and error messages to equivalent Elixir.
Language: Elixir - Size: 77.1 KB - Last synced: about 15 hours ago - Pushed: 25 days ago - Stars: 34 - Forks: 17
Comcast/dialyzex
A Mix task for type-checking your Elixir project with dialyzer
Language: Elixir - Size: 50.8 KB - Last synced: 5 days ago - Pushed: almost 3 years ago - Stars: 62 - Forks: 8
michallepicki/nimble_options_type 📦
Generating type specs for NimbleOptions schemas
Language: Elixir - Size: 17.6 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0
inaka/katana-test 📦
Meta Testing Utilities for common_test
Language: Erlang - Size: 99.6 KB - Last synced: 1 day ago - Pushed: over 2 years ago - Stars: 32 - Forks: 6
hudsonbay/dialyzer_playground
Different example files that demonstrate how Dialyzer can catch simple type errors
Language: Elixir - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 2 - Forks: 0
eksperimental/extended_types
Extended Types. Import additional types to your Elixir modules.
Language: Elixir - Size: 35.2 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 4 - Forks: 0
aztek/atomizer
⚛︎ Find misplaced atoms in Erlang code
Language: Erlang - Size: 190 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0
danielberkompas/travis_elixir_plts
Pre-built Dialyzer Persistent Lookup Tables for Travis and Elixir
Size: 220 MB - Last synced: 12 days ago - Pushed: over 6 years ago - Stars: 16 - Forks: 3