OvermindDL1 / typed_elixir
☆19Updated 7 years ago
Alternatives and similar repositories for typed_elixir:
Users that are interested in typed_elixir are comparing it to the libraries listed below
- Almost-extensible effects for Elixir.☆27Updated 8 years ago
- Helpers for defining Elixir operators☆23Updated 3 years ago
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- Tool that allows to write Erlang NIF libraries in Haskell☆25Updated 11 years ago
- Intelligent Erlang autocompletion provider for Atom autocomplete-plus☆12Updated 7 years ago
- Basic exhaustiveness checking of unions in Elixir☆16Updated 5 years ago
- Elmer compiler☆12Updated 8 years ago
- Uniform low-level tcp, tcp/tls and unix socket interface☆20Updated 6 years ago
- Erlang AST to Elixir AST☆18Updated 4 years ago
- An exploratory look into functors, applicatives, and monads for Elixir☆22Updated 7 years ago
- Monadic HTTP application composition for plug and friends.☆15Updated 8 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- A type checker for Elixir☆33Updated 2 years ago
- Difference lists in Elixir☆11Updated 7 years ago
- ✏ MTX: Metrics Client☆19Updated 9 years ago
- Transform Erlang or Elixir data into Gleam data☆27Updated 2 years ago
- ☆17Updated 8 years ago
- Haex - Haskell As Elixir (pronounced "hacks")☆13Updated 4 years ago
- Allows for easy interop with Erlang records.☆26Updated last year
- A Freer Monad implemented in elixir.☆32Updated 8 years ago
- Just a mix command for running dialyzer :)☆19Updated 6 years ago
- library to handle mimetypes☆28Updated 10 months ago
- An Elixir Protocol for transforming arbitrary Elixir data structures.☆26Updated 8 years ago
- Demonstration project for getting using gleam inside a mix/elixir project☆30Updated 3 years ago
- Implementation of the Rendezvous or Highest Random Weight (HRW) hashing algorithm in the Elixir Programming Language☆9Updated 7 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 5 years ago
- Parameterized Modules for Elixir☆35Updated 8 years ago
- A Swagger client library for Elixir projects☆17Updated 8 years ago
- Kylie is a blond and small Erlang/Elixir client for Cayley graph data base☆12Updated 7 years ago
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 6 months ago