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 9 years ago
- Helpers for defining Elixir operators☆23Updated 3 years ago
- Monadic HTTP application composition for plug and friends.☆15Updated 9 years ago
- Tool that allows to write Erlang NIF libraries in Haskell☆25Updated 12 years ago
- Transform Erlang or Elixir data into Gleam data☆27Updated 2 years ago
- Basic exhaustiveness checking of unions in Elixir☆16Updated 6 years ago
- Erlang AST to Elixir AST☆20Updated 3 months ago
- A statically-typed lisp for the BEAM☆12Updated 4 years ago
- Uniform low-level tcp, tcp/tls and unix socket interface☆20Updated 6 years ago
- An exploratory look into functors, applicatives, and monads for Elixir☆22Updated 7 years ago
- Elmer compiler☆12Updated 8 years ago
- A type checker for Elixir☆34Updated 2 years ago
- Notation for describing Erlang architectures☆68Updated 10 years ago
- A Lasp PG adapter for the Phoenix framework pubsub☆18Updated 7 years ago
- An Elixir macro for easily piping arguments at any position.☆34Updated 8 years ago
- Algebraic Data Types for Elixir: Both functional and fun.☆73Updated 2 years ago
- Currying enables partial function application in Elixir.☆45Updated 2 years ago
- AST, parser, pretty-printer for Core Erlang source code.☆28Updated 4 years ago
- Native Phoenix channels in Elm☆46Updated 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
- Discriminated unions for Elixir☆65Updated 5 years ago
- Allows for easy interop with Erlang records.☆26Updated last year
- Kylie is a blond and small Erlang/Elixir client for Cayley graph data base☆12Updated 7 years ago
- A Freer Monad implemented in elixir.☆32Updated 9 years ago
- An Elixir Protocol for transforming arbitrary Elixir data structures.☆26Updated 8 years ago
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 11 months ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆68Updated 5 years ago
- Type specification extensions for Elixir☆21Updated last year
- A library for creating, manipulating, and detecting and resolving collisions between polygons.☆17Updated 2 years ago
- Learning how to build a language on the BEAM☆25Updated 8 years ago