Alternatives and similar repositories for typed_elixir:

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

• bootstarted / effects
  Almost-extensible effects for Elixir.
  ☆27Updated 8 years ago
• witchcrafters / operator
  Helpers for defining Elixir operators
  ☆23Updated 3 years ago
• lpil / total
  Basic exhaustiveness checking of unions in Elixir
  ☆16Updated 5 years ago
• urbanserj / hsnif
  Tool that allows to write Erlang NIF libraries in Haskell
  ☆25Updated 11 years ago
• olafura / beam_to_ex_ast
  Erlang AST to Elixir AST
  ☆18Updated 4 years ago
• irresponsible / bricks.ex
  Uniform low-level tcp, tcp/tls and unix socket interface
  ☆20Updated 6 years ago
• elmer-compiler / elmer_compiler
  Elmer compiler
  ☆12Updated 8 years ago
• thaterikperson / erie
  A statically-typed lisp for the BEAM
  ☆11Updated 3 years ago
• bootstarted / pipeline
  Monadic HTTP application composition for plug and friends.
  ☆15Updated 8 years ago
• gyson / ex_type
  A type checker for Elixir
  ☆33Updated 2 years ago
• QuinnWilton / strucord
  Allows for easy interop with Erlang records.
  ☆26Updated last year
• rjdellecese / gleam_decode
  Transform Erlang or Elixir data into Gleam data
  ☆27Updated 2 years ago
• gausby / bit_field_set
  Store and manipulate a set of bit flags, mostly used for syncing the state over the wire between peers in a peer to peer network, such as…
  ☆19Updated 5 years ago
• Qqwy / elixir-tea_vent
  Elixir library to do event-dispatching in an Event Sourcing and The Elm Architecture-like way
  ☆16Updated 2 years ago
• rubencaro / harakiri
  Help applications kill themselves
  ☆21Updated 7 years ago
• michaeljones / gleam-phoenix-mix
  Demonstration project for getting using gleam inside a mix/elixir project
  ☆30Updated 4 years ago
• seancribbs / datalog-elixir
  Naively-evaluated Datalog, implemented in Elixir
  ☆31Updated 7 months ago
• voxoz / mtx
  ✏ MTX: Metrics Client
  ☆19Updated 9 years ago
• jmitchell / idris-elixir
  Idris backend targeting Elixir (Work in progress)
  ☆18Updated 8 years ago
• gabrielgatu / mix-dialyzer
  Just a mix command for running dialyzer :)
  ☆19Updated 6 years ago
• aemaeth-me / freer
  A Freer Monad implemented in elixir.
  ☆32Updated 8 years ago
• michalmuskala / xref.rs
  Rust reimplementation of subset of Erlang's xref
  ☆15Updated 3 years ago
• teamon / typonf
  Typed Runtime configuration for Elixir/Erlang
  ☆14Updated 6 years ago
• Qqwy / elixir_gen_frp
  ☆17Updated 8 years ago
• vic / pipe_here
  An Elixir macro for easily piping arguments at any position.
  ☆34Updated 8 years ago
• jmitchell / backtrex
  Backtracking behaviour to solve discrete problems by brute force
  ☆26Updated 8 years ago
• whitfin / unsafe
  Generate unsafe (!) bindings for Elixir functions
  ☆12Updated last year
• philosophers-stone / transform
  An Elixir Protocol for transforming arbitrary Elixir data structures.
  ☆26Updated 8 years ago
• bitwalker / libswagger
  A Swagger client library for Elixir projects
  ☆17Updated 8 years ago
• hrefhref / booter
  Boot an Elixir application step by step (inspired by RabbitMQ)
  ☆23Updated 5 years ago