Alternatives and similar repositories for Gradualizer

Users that are interested in Gradualizer are comparing it to the libraries listed below

• dashbitco / nimble_parsec
  A simple and fast library for text-based parser combinators
  ☆854Updated last week
• witchcrafters / algae
  Bootstrapped algebraic data types for Elixir
  ☆336Updated 2 years ago
• WhatsApp / eqwalizer
  A type-checker for Erlang
  ☆531Updated 2 weeks ago
• Qqwy / elixir-type_check
  TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
  ☆528Updated 7 months ago
• ostinelli / syn
  A scalable global Process Registry and Process Group manager for Erlang and Elixir.
  ☆673Updated last year
• elixir-toniq / norm
  Data specification and generation
  ☆700Updated this week
• alfert / propcheck
  Property based Testing for Elixir (based upon PropEr)
  ☆386Updated 4 months ago
• whatyouhide / stream_data
  Data generation and property-based testing for Elixir. 🔮
  ☆915Updated last week
• esl / gradient
  Gradient is a static typechecker for Elixir
  ☆439Updated 2 years ago
• witchcrafters / quark
  Common combinators for Elixir
  ☆319Updated 3 years ago
• ejpcmac / typed_struct
  An Elixir library for defining structs with a type without writing boilerplate code.
  ☆755Updated last year
• versilov / matrex
  A blazing fast matrix library for Elixir/Erlang with C implementation using CBLAS.
  ☆485Updated 5 years ago
• derekkraan / delta_crdt_ex
  Use DeltaCrdt to build distributed applications in Elixir
  ☆537Updated last year
• doorgan / sourceror
  Utilities to manipulate Elixir source code
  ☆357Updated 3 months ago
• msz / hammox
  🏝 automated contract testing via type checking for Elixir functions and mocks
  ☆585Updated last month
• saleyn / erlexec
  Execute and control OS processes from Erlang/OTP
  ☆571Updated last month
• WhatsApp / erlfmt
  An automated code formatter for Erlang
  ☆429Updated last month
• beam-telemetry / telemetry
  Dynamic dispatching library for metrics and instrumentations.
  ☆896Updated 3 months ago
• CrowdHailer / OK
  Elegant error/exception handling in Elixir, with result monads.
  ☆603Updated 5 years ago
• elixir-toniq / raft
  An Elixir implementation of the raft consensus protocol
  ☆432Updated 5 years ago
• parapluu / Concuerror
  Concuerror is a stateless model checking tool for Erlang programs.
  ☆338Updated 4 months ago
• erlef / setup-beam
  Set up your BEAM-based GitHub Actions workflow (Erlang, Elixir, Gleam, ...)
  ☆419Updated 2 weeks ago
• derekkraan / horde
  Horde is a distributed Supervisor and Registry backed by DeltaCrdt
  ☆1,390Updated 3 months ago
• kvakvs / beam-wisdoms
  Wiki containing pieces of information and knowledge about BEAM Virtual machine (which runs Erlang/OTP and other BEAM-based languages).
  ☆540Updated last year
• sasa1977 / site_encrypt
  Integrated certification via Let's encrypt for Elixir-powered sites
  ☆487Updated 2 months ago
• appcues / mojito
  An easy-to-use Elixir HTTP client, built on the low-level Mint library.
  ☆343Updated 3 years ago
• meh / amnesia
  Mnesia wrapper for Elixir.
  ☆704Updated 3 years ago
• elixir-toniq / vapor
  Runtime configuration system for Elixir
  ☆596Updated 2 years ago
• edgurgel / mimic
  A mocking library for Elixir
  ☆530Updated 2 weeks ago
• kipcole9 / money
  Elixir implementation of Money with Currency
  ☆589Updated 3 weeks ago