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
• gertab / ElixirST
  Session Types in Elixir
  ☆48Updated 2 years ago
• Qqwy / elixir-capture_pipe
  A pipe-macro for Elixir that allows bare function captures
  ☆45Updated 5 years ago
• ityonemo / selectrix
  Static Typechecker for Elixir
  ☆85Updated 5 years ago
• QuinnWilton / deft
  ☆22Updated last week
• QuinnWilton / daat
  Parameterized modules for Elixir
  ☆68Updated 5 years ago
• ityonemo / mavis
  opinionated typing library for elixir
  ☆110Updated last year
• marianoguerra / efe
  Elixir Flavoured Erlang: an Erlang to Elixir Transpiler
  ☆68Updated 4 years ago
• Qqwy / elixir-arrays
  Well-structured Arrays with fast random-element-access for Elixir, offering a common interface with multiple implementations with vary…
  ☆89Updated 2 years ago
• 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
• sabiwara / enumancer
  Elixir macros to effortlessly define highly optimized Enum pipelines
  ☆52Updated 3 years ago
• OvermindDL1 / protocol_ex
  Elixir Extended Protocol
  ☆49Updated this week
• gabrielgatu / mix-dialyzer
  Just a mix command for running dialyzer :)
  ☆19Updated 7 years ago
• arjan / ast_ninja
  The Elixir AST explorer
  ☆81Updated 3 months ago
• Qqwy / elixir-rational
  Rational number library for Elixir.
  ☆42Updated last year
• elixir-toniq / schism
  Partition testing tool for elixir
  ☆72Updated 2 years ago
• gyson / ex_type
  A type checker for Elixir
  ☆34Updated 2 years ago
• exercism / elixir-analyzer
  ☆32Updated 3 weeks ago
• devonestes / muzak
  Mutation testing for Elixir
  ☆69Updated 3 years ago
• 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
• sabiwara / iter
  A blazing fast compile-time optimized alternative to the `Enum` and `Stream` modules
  ☆74Updated 3 months ago
• well-ironed / fe
  Functional Elixir
  ☆41Updated 3 years ago
• Qqwy / elixir-fun_land
  Algebraic Data Types for Elixir: Both functional and fun.
  ☆73Updated 2 years ago
• axelson / scenic-starter-pack
  A starter pack for Scenic Development with simple livereload built-in
  ☆39Updated 6 years ago
• ferd / sups
  PropEr model helper library to validate implementations of supervisor trees
  ☆64Updated 7 years ago
• eirproject / niffy
  Automatic NIF generator using Eir and LLVM
  ☆52Updated 6 years ago
• angelikatyborska / vnu-elixir
  An Elixir client for the Nu HTML Checker (v.Nu).
  ☆57Updated 2 weeks ago
• derekkraan / walkman
  Isolate tests from the real world, inspired by Ruby's VCR.
  ☆54Updated 4 years ago
• dsdshcym / promox
  Protocol-based mocks and explicit contracts in Elixir
  ☆62Updated 3 years ago