josevalim / intersection_types
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
- Allows for easy interop with Erlang records.☆26Updated last year
- A markdown compiler for the people☆25Updated 2 years ago
- Rust reimplementation of subset of Erlang's xref☆15Updated 3 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- Convert Erlang style structs and error messages to equivalent Elixir.☆34Updated 10 months ago
- A pipe-macro for Elixir that allows bare function captures☆45Updated 4 years ago
- Queue data structure for Elixir-lang☆34Updated 2 weeks ago
- Telemetry instrumentation for Cowboy☆30Updated 2 years ago
- Concise Binary Object Representation (RFC 7049)☆29Updated 2 years ago
- ☆32Updated 2 years ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- Elixir client for GraphQL☆10Updated 5 years ago
- Keep track of your data structure's revisions, persistence layer agnostic.☆28Updated last year
- A webring for bloggers in the BEAM Ecosystem (Erlang, Elixir, Gleam, LFE, etc), you find it at beambloggers.com☆56Updated last year
- ☆12Updated 2 years ago
- Draw pretty micro benchmarking charts in HTML and allow to export them as png for benchee☆58Updated last year
- A tool for composing and executing workflows at runtime for Elixir.☆40Updated last year
- SpawnFest 2021 - 🪄☆12Updated 3 years ago
- full featured match game with help from gleam & phoenix liveview☆31Updated 4 years ago
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 6 months ago
- Pure Elixir disk backed key-value store.☆28Updated 2 months ago
- A simple abstraction for standardized observability with telemetry and more in Elixir☆39Updated 11 months ago
- A function decorator for OpenTelemetry traces.☆41Updated last month
- A sandbox for Elixir☆37Updated 4 years ago
- Running Gleam in a mix project.☆33Updated 4 years ago
- Erlang native interface to git☆41Updated last week
- Design by contract in elixir☆46Updated 3 years ago
- Fork pseudoterminals in Elixir☆20Updated last month
- Download, verify, and extract GitHub release artifacts effortlessly right from Elixir☆34Updated last year
- Isolate tests from the real world, inspired by Ruby's VCR.☆54Updated 3 years ago