josevalim / intersection_typesLinks
Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.
☆10Updated 4 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.☆26Updated last year
- Rust reimplementation of subset of Erlang's xref☆15Updated 3 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 4 years ago
- A pipe-macro for Elixir that allows bare function captures☆45Updated 5 years ago
- Pure Elixir disk backed key-value store.☆29Updated 3 months ago
- Queue data structure for Elixir-lang☆34Updated last week
- Running Gleam in a mix project.☆33Updated 5 years ago
- 🔌 A Gleam HTTP service adapter for the Plug web application interface☆34Updated 5 years ago
- Elixir time zone support for your OS-supplied zoneinfo files☆26Updated last year
- A markdown compiler for the people☆25Updated 3 years ago
- Feature Flags based on LWW registers and HLCs☆46Updated 2 years ago
- full featured match game with help from gleam & phoenix liveview☆31Updated 4 years ago
- Phoenix PubSub adapter based on PostgreSQL LISTEN / NOTIFY☆22Updated 4 years ago
- Efficient binary encoding for your data (based on Erlang's External Terms Format)☆36Updated 5 years ago
- ☆25Updated 3 years ago
- Tiny hex package to make the development experience of using gleam in elixir (and especially phoenix projects) better.☆28Updated 3 years ago
- A high-performance probabilistic LRFU concurrent in-memory cache with one-hit-wonders detection for Erlang and Elixir☆23Updated 3 years ago
- Erlang port mapper module that uses Consul instead of EPMD☆15Updated 5 years ago
- Telemetry instrumentation for Cowboy☆31Updated 3 years ago
- zig linear algebra bindings for nx☆34Updated 4 years ago
- A Macro-based approach to ease working with ok/error tuples in Elixir☆17Updated 5 years ago
- Elixir library to build Plug-like pipelines☆18Updated last week
- Pure random data generation library, appropriate for realistic simulations in the Erlang ecosystem☆19Updated 11 months ago
- A user-friendly distributed process registry and process supervisor☆35Updated 2 years ago
- A Gleam Library for adding colours in Terminal☆11Updated last year
- A simple abstraction for standardized observability with telemetry and more in Elixir☆39Updated last year
- Parameterized modules for Elixir☆69Updated 5 years ago
- ☆27Updated 7 years ago
- ☆16Updated 4 years ago
- Distributed KV store for ephemeral data☆54Updated last week