Alternatives and similar repositories for typelixir

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

• OvermindDL1 / gradualixir
  Gradualizer Mix Wrapper
  ☆69Updated 6 years ago
• Qqwy / elixir-capture_pipe
  A pipe-macro for Elixir that allows bare function captures
  ☆45Updated 5 years ago
• Qqwy / elixir-arrays
  Well-structured Arrays with fast random-element-access for Elixir, offering a common interface with multiple implementations with vary…
  ☆87Updated last year
• ityonemo / selectrix
  Static Typechecker for Elixir
  ☆85Updated 5 years ago
• gertab / ElixirST
  Session Types in Elixir
  ☆47Updated 2 years ago
• QuinnWilton / daat
  Parameterized modules for Elixir
  ☆68Updated 5 years ago
• OvermindDL1 / protocol_ex
  Elixir Extended Protocol
  ☆49Updated last year
• 21it / calculus
  New data types with real encapsulation. Create smart constructors, private and immutable fields, sum types and many other fun things. Ins…
  ☆39Updated 5 years ago
• exercism / elixir-analyzer
  ☆32Updated 2 weeks ago
• gyson / ex_type
  A type checker for Elixir
  ☆34Updated 2 years ago
• QuinnWilton / deft
  ☆20Updated 3 years ago
• ferd / sups
  PropEr model helper library to validate implementations of supervisor trees
  ☆64Updated 7 years ago
• well-ironed / fe
  Functional Elixir
  ☆41Updated 3 years ago
• dsdshcym / promox
  Protocol-based mocks and explicit contracts in Elixir
  ☆62Updated 3 years ago
• whitfin / eternal
  Keep your ETS tables running forever using bouncing GenServers
  ☆102Updated last year
• devonestes / muzak
  Mutation testing for Elixir
  ☆68Updated 3 years ago
• gabrielgatu / mix-dialyzer
  Just a mix command for running dialyzer :)
  ☆19Updated 7 years ago
• asummers / erlex
  Convert Erlang style structs and error messages to equivalent Elixir.
  ☆35Updated last year
• arjan / ast_ninja
  The Elixir AST explorer
  ☆80Updated last month
• jonatanklosko / mix_install_watcher
  Automatic dependency recompilation for Mix.install/2
  ☆23Updated last year
• davydog187 / marx
  A markdown compiler for the people
  ☆25Updated 3 years ago
• ityonemo / mavis
  opinionated typing library for elixir
  ☆110Updated last year
• mikejdorm / sftp_ex
  ☆25Updated 4 years ago
• Qqwy / elixir-rational
  Rational number library for Elixir.
  ☆42Updated last year
• sabiwara / enumancer
  Elixir macros to effortlessly define highly optimized Enum pipelines
  ☆51Updated 2 years ago
• angelikatyborska / vnu-elixir
  An Elixir client for the Nu HTML Checker (v.Nu).
  ☆57Updated this week
• am-kantox / elixir-iteraptor
  Handy enumerable operations implementation.
  ☆71Updated 9 months ago
• hexpm / preview
  Hex Preview
  ☆32Updated last month
• Multiverse-io / eextoheex
  Automatic conversion of html.eex templates to heex
  ☆38Updated last year
• Qqwy / elixir-fun_land
  Algebraic Data Types for Elixir: Both functional and fun.
  ☆73Updated 2 years ago