OvermindDL1 / typed_elixir
☆19Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for typed_elixir
- Almost-extensible effects for Elixir.☆27Updated 8 years ago
- Helpers for defining Elixir operators☆23Updated 3 years ago
- Tool that allows to write Erlang NIF libraries in Haskell☆26Updated 11 years ago
- Elmer compiler☆12Updated 8 years ago
- Erlang AST to Elixir AST☆18Updated 3 years ago
- Elli Websocket Handler☆19Updated 5 years ago
- Monadic HTTP application composition for plug and friends.☆15Updated 8 years ago
- Basic exhaustiveness checking of unions in Elixir☆16Updated 5 years ago
- Uniform low-level tcp, tcp/tls and unix socket interface☆20Updated 6 years ago
- ☆17Updated 7 years ago
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- Transform Erlang or Elixir data into Gleam data☆26Updated last year
- ✏ MTX: Metrics Client☆19Updated 9 years ago
- Intelligent Erlang autocompletion provider for Atom autocomplete-plus☆11Updated 6 years ago
- A Lasp PG adapter for the Phoenix framework pubsub☆18Updated 6 years ago
- An exploratory look into functors, applicatives, and monads for Elixir☆24Updated 6 years ago
- library to handle mimetypes☆28Updated 6 months ago
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 2 months ago
- A Swagger client library for Elixir projects☆17Updated 7 years ago
- ☆17Updated last year
- 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
- ☆13Updated 2 years ago
- Boot an Elixir application step by step (inspired by RabbitMQ)☆23Updated 5 years ago
- A Freer Monad implemented in elixir.☆32Updated 8 years ago
- A parser combinator library for Elixir☆31Updated 9 years ago
- A type checker for Elixir☆33Updated last year
- Idris backend targeting Elixir (Work in progress)☆18Updated 7 years ago
- Type specification extensions for Elixir☆21Updated 9 months ago
- A DSL for building chainable, composable HTTP requests. API structure taken from the lovely elm-http-builder☆15Updated 6 years ago