A Mix task for type-checking your Elixir project with dialyzer
☆60Jul 6, 2021Updated 4 years ago
Alternatives and similar repositories for dialyzex
Users that are interested in dialyzex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A nanopass-style compiler in Elixir, targeting BEAM, based on https://github.com/compilers-course-materials/☆16Sep 19, 2021Updated 4 years ago
- A simple wrapper for Bypass☆15Jun 3, 2022Updated 3 years ago
- ☆28Dec 1, 2018Updated 7 years ago
- decentralized package security audit network of trust☆32May 16, 2019Updated 7 years ago
- Erlang External Term Format for Ruby☆10Oct 27, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Ane (atomics and ets) is a library to share mutable data efficiently by utilizing atomics and ets modules.☆29Apr 29, 2019Updated 7 years ago
- Convert Erlang style structs and error messages to equivalent Elixir.☆35Apr 26, 2024Updated 2 years ago
- an exercise in refactoring☆14Sep 11, 2017Updated 8 years ago
- Custom Erlang Distribution implementation based on the original☆18Feb 4, 2018Updated 8 years ago
- A combo PubSub and Data cache that sits between sensors and scenes. Can be used outside of Scenic applications☆14Dec 5, 2019Updated 6 years ago
- Call C functions in a shared library without writing a NIF.☆16Feb 28, 2022Updated 4 years ago
- Simple Elixir macros for linear retry, exponential backoff and wait with composable delays☆458Mar 2, 2025Updated last year
- An Elixir client for DogStatsd https://www.datadoghq.com/☆40Jan 19, 2023Updated 3 years ago
- Learning how to build a language on the BEAM☆25Apr 17, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A parse transform to introduce module aliasing into Erlang code☆10Sep 30, 2020Updated 5 years ago
- [montreal-elixir] An example Elixir project with Nerves and Scenic☆11Sep 10, 2018Updated 7 years ago
- Writing Fast Elixir -- Collect Common Elixir idioms.☆1,285Nov 8, 2023Updated 2 years ago
- QuickCheck for Elixir☆83Nov 18, 2020Updated 5 years ago
- Middleware program which helps with talking to external programs from Elixir or Erlang.☆12Apr 17, 2021Updated 5 years ago
- Implementation of binary Merkle Tree in Elixir☆34Dec 12, 2016Updated 9 years ago
- tiny Erlang app to generate information on the Erlang VM☆255Sep 11, 2025Updated 8 months ago
- A benchmarking tool for Elixir☆71Mar 11, 2018Updated 8 years ago
- Elixir port of Nakatani Shuyo's natural language detector☆24Mar 1, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Intercluster RPC for Erlang and Elixir☆48Oct 1, 2023Updated 2 years ago
- React hook for server-side state☆17Jan 4, 2023Updated 3 years ago
- Data validation and conformation library for Elixir.☆68Nov 22, 2022Updated 3 years ago
- BEAM Prometheus Grafana☆291Feb 24, 2020Updated 6 years ago
- Mocks and explicit contracts in Elixir☆1,394May 6, 2026Updated 2 weeks ago
- Easy, powerful, and extendable configuration tooling for releases.☆378Nov 20, 2019Updated 6 years ago
- Elixir Phoenix Client for Channels☆216Mar 11, 2021Updated 5 years ago
- StatsD Client for Elixir (EOL: We Recommend Statix)☆95Apr 12, 2018Updated 8 years ago
- Libsodium bindings for Erlang☆16Apr 1, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆15Jul 5, 2019Updated 6 years ago
- Connector to Vert.x event bus via TCP Event Bus Bridge☆16Dec 8, 2024Updated last year
- MiniRepo allows self-hosting of Hex packages.☆195Jan 14, 2021Updated 5 years ago
- Cutting the Gordian knot of blocking calls between OTP processes☆18Oct 14, 2018Updated 7 years ago
- Run your command. Send input. Get output.☆214Aug 11, 2024Updated last year
- Mix tasks to simplify use of Dialyzer in Elixir projects.☆1,792Nov 6, 2025Updated 6 months ago
- BERT (Binary ERlang Term) serialization library for Javascript (with Elixir support)☆36Jun 13, 2024Updated last year