OvermindDL1 / typed_elixirLinks
☆19Updated 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
Sorting:
- Almost-extensible effects for Elixir.☆27Updated 8 years ago
- Helpers for defining Elixir operators☆23Updated 3 years ago
- Elmer compiler☆12Updated 8 years ago
- Basic exhaustiveness checking of unions in Elixir☆16Updated 5 years ago
- Tool that allows to write Erlang NIF libraries in Haskell☆25Updated 11 years ago
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- Erlang AST to Elixir AST☆20Updated last week
- Uniform low-level tcp, tcp/tls and unix socket interface☆20Updated 6 years ago
- A Freer Monad implemented in elixir.☆32Updated 9 years ago
- 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 6 years ago
- Monadic HTTP application composition for plug and friends.☆15Updated 8 years ago
- An exploratory look into functors, applicatives, and monads for Elixir☆22Updated 7 years ago
- A type checker for Elixir☆33Updated 2 years ago
- Intelligent Erlang autocompletion provider for Atom autocomplete-plus☆12Updated 7 years ago
- ☆17Updated 8 years ago
- Allows for easy interop with Erlang records.☆26Updated last year
- ✏ MTX: Metrics Client☆19Updated 9 years ago
- Learning how to build a language on the BEAM☆25Updated 8 years ago
- State aware Elixir functions without spawning processes☆27Updated 7 years ago
- Transform Erlang or Elixir data into Gleam data☆27Updated 2 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- An Elixir Protocol for transforming arbitrary Elixir data structures.☆26Updated 8 years ago
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 8 months ago
- Elli Websocket Handler☆20Updated 6 years ago
- Rust reimplementation of subset of Erlang's xref☆15Updated 3 years ago
- Interop tools for working with Elm in Elixir☆46Updated 9 years ago
- A library for creating, manipulating, and detecting and resolving collisions between polygons.☆17Updated last year
- Difference lists in Elixir☆11Updated 8 years ago
- Backtracking behaviour to solve discrete problems by brute force☆26Updated 8 years ago
- Native Phoenix channels in Elm☆46Updated 9 years ago