OvermindDL1/typed_elixir external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

OvermindDL1/typed_elixir

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/OvermindDL1/typed_elixir)

Close

OvermindDL1 / typed_elixirView on GitHubMore

• External links
• Readme badge

☆19May 12, 2017Updated 8 years ago

Alternatives and similar repositories for typed_elixir

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

• Qqwy / elixir_gen_frp

  View on GitHub
  ☆17Jan 23, 2017Updated 9 years ago
• thaterikperson / erie

  View on GitHub
  A statically-typed lisp for the BEAM
  ☆12Aug 28, 2021Updated 4 years ago
• KlausTrainer / erlyjs

  View on GitHub
  Fork of Roberto Saccon's ErlyJs
  ☆12May 2, 2013Updated 12 years ago
• x4lldux / disc_union

  View on GitHub
  Discriminated unions for Elixir
  ☆64Nov 23, 2019Updated 6 years ago
• lpil / total

  View on GitHub
  Basic exhaustiveness checking of unions in Elixir
  ☆16Jun 23, 2019Updated 6 years ago
• purerl / package-sets

  View on GitHub
  A curated list of PureScript packages for the Erlang backend
  ☆10Jun 29, 2022Updated 3 years ago
• gyson / ex_type

  View on GitHub
  A type checker for Elixir
  ☆34Mar 24, 2023Updated 2 years ago
• witchcrafters / type_class

  View on GitHub
  (Semi-)principled type classes for Elixir
  ☆137Jun 16, 2022Updated 3 years ago
• lfe-rebar3 / compile

  View on GitHub
  The LFE rebar3 compiler plugin
  ☆14Jul 13, 2020Updated 5 years ago
• bootstarted / effects

  View on GitHub
  Almost-extensible effects for Elixir.
  ☆27Aug 9, 2016Updated 9 years ago
• witchcrafters / quark

  View on GitHub
  Common combinators for Elixir
  ☆317Jun 22, 2022Updated 3 years ago
• transumption / nix-of

  View on GitHub
  Sandboxable Nix project evaluators
  ☆17Dec 20, 2024Updated last year
• ElixirCourse / blog

  View on GitHub
  Blog for the Elixir Course
  ☆16May 7, 2023Updated 2 years ago
• Qqwy / elixir-fun_land

  View on GitHub
  Algebraic Data Types for Elixir: Both functional and fun.
  ☆73Apr 10, 2023Updated 2 years ago
• wende / efx

  View on GitHub
  First-class effects for Elixir
  ☆16Apr 28, 2019Updated 6 years ago
• lambdatoast / elm-json

  View on GitHub
  A library for convenient and composable translation between JSON and Elm types
  ☆16Feb 18, 2015Updated 11 years ago
• elixir-install / elixir-install.github.io

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• AbstractMachinesLab / mix_caramel

  View on GitHub
  A Mix plugin to use Caramel
  ☆15Oct 24, 2021Updated 4 years ago
• neeraj9 / hello-elixir-rump

  View on GitHub
  Say hello to ElixirRump an Elixir Microkernel powered by Rumprun unikernel
  ☆15Aug 18, 2017Updated 8 years ago
• smithbm2316 / synthwave-everything

  View on GitHub
  Synthwave related themes, music, and assets for all of the things
  ☆12Apr 9, 2020Updated 5 years ago
• ChainAgnostic / varsig

  View on GitHub
  The cryptographic signature multifomat
  ☆13Jul 9, 2025Updated 8 months ago
• release-project / otp

  View on GitHub
  Erlang/OTP
  ☆24Mar 31, 2017Updated 8 years ago
• dgvncsz0f / zipflow

  View on GitHub
  stream a zip archive while building it
  ☆24Dec 3, 2018Updated 7 years ago
• tobz / elistrix

  View on GitHub
  A latency / fault tolerance library to help isolate your applications from an uncertain world of slow or failed services.
  ☆19May 8, 2015Updated 10 years ago
• jisaacstone / ex_rfn

  View on GitHub
  recursive anonymous functions in elixir
  ☆37Jan 4, 2017Updated 9 years ago
• campezzi / ignorant

  View on GitHub
  Simplify comparison of Elixir data structures by ensuring fields are present but ignoring their values.
  ☆14Aug 25, 2016Updated 9 years ago
• pcmarks / ElixirFBP

  View on GitHub
  An Elixir implementation of Flow-based Programming
  ☆67Oct 20, 2015Updated 10 years ago
• sndnv / asciichart

  View on GitHub
  ASCII terminal line charts with no dependencies
  ☆27Jan 6, 2024Updated 2 years ago
• szktty / bran

  View on GitHub
  A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
  ☆100Dec 25, 2014Updated 11 years ago
• arjan / exstatic

  View on GitHub
  Compile static files into Elixir bytecode and serve them from memory
  ☆33May 25, 2017Updated 8 years ago
• JakeBecker / ide-elixir

  View on GitHub
  Atom IDE plugin for Elixir, powered by ElixirLS
  ☆44Jan 15, 2022Updated 4 years ago
• soenkehahn / string-conversions

  View on GitHub
  Simplifies dealing with different types for strings
  ☆26Mar 7, 2023Updated 3 years ago
• am-kantox / tyyppi

  View on GitHub
  Propagate specs to runtime types
  ☆15Sep 21, 2022Updated 3 years ago
• jschneider1207 / distributed_test

  View on GitHub
  Mix task for running tests for a distributed application
  ☆10Apr 3, 2022Updated 3 years ago
• witchcrafters / operator

  View on GitHub
  Helpers for defining Elixir operators
  ☆23Nov 4, 2021Updated 4 years ago
• toastal / elm-applicatives-and-json-decoders

  View on GitHub
  ☆22Feb 18, 2022Updated 4 years ago
• prometheus-erl / prometheus-plugs

  View on GitHub
  Prometheus.erl Elixir Plugs
  ☆54Nov 23, 2022Updated 3 years ago
• campezzi / elixir-maybe

  View on GitHub
  A simple implementation of the Maybe type in Elixir, intended as an introduction to Functors, Applicative Functors and Monads
  ☆16Jun 25, 2021Updated 4 years ago
• FlowForwarding / lincx

  View on GitHub
  Erlang on Bare Metal
  ☆57Sep 29, 2015Updated 10 years ago