josevalim / intersection_typesLinks
Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.
☆10Updated 5 years ago
Alternatives and similar repositories for intersection_types
Users that are interested in intersection_types are comparing it to the libraries listed below
Sorting:
- Allows for easy interop with Erlang records.☆25Updated 2 years ago
- full featured match game with help from gleam & phoenix liveview☆31Updated 5 years ago
- 🔌 A Gleam HTTP service adapter for the Plug web application interface☆36Updated 5 years ago
- A pipe-macro for Elixir that allows bare function captures☆45Updated 5 years ago
- Rust reimplementation of subset of Erlang's xref☆15Updated 4 years ago
- Pure random data generation library, appropriate for realistic simulations in the Erlang ecosystem☆19Updated last year
- Queue data structure for Elixir-lang☆34Updated this week
- A user-friendly distributed process registry and process supervisor☆35Updated 2 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆68Updated 4 years ago
- Running Gleam in a mix project.☆34Updated 5 years ago
- A markdown compiler for the people☆25Updated 3 years ago
- ☆27Updated 7 years ago
- High-performance, concurrent, and mutable Cuckoo Filter for Erlang and Elixir☆48Updated last year
- SpawnFest 2020 - Your description here..!☆20Updated 5 years ago
- Rust NIF for fast JWT signing☆10Updated last month
- ☆26Updated 4 years ago
- Parameterized modules for Elixir☆68Updated 5 years ago
- Pure Elixir disk backed key-value store.☆29Updated last week
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆35Updated 3 years ago
- A webring for bloggers in the BEAM Ecosystem (Erlang, Elixir, Gleam, LFE, etc), you find it at beambloggers.com☆58Updated last year
- Simple shell command supervision powered by Erlang/OTP☆23Updated 3 years ago
- Telemetry instrumentation for Cowboy☆31Updated 3 years ago
- compile-time named arguments for Elixir functions and macros☆19Updated 6 years ago
- Erlang port mapper module that uses Consul instead of EPMD☆15Updated 5 years ago
- Feature Flags based on LWW registers and HLCs☆46Updated 2 years ago
- Decompile Elixir modules to Erlang abstract code☆36Updated 4 years ago
- Elixir client for GraphQL☆10Updated 6 years ago
- ☆31Updated 3 years ago
- Naively-evaluated Datalog, implemented in Elixir☆32Updated last year
- A Macro-based approach to ease working with ok/error tuples in Elixir☆17Updated 5 years ago