Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.
☆10Nov 10, 2020Updated 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:
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- Telemetry instrumentation for Cowboy☆31Jul 19, 2022Updated 3 years ago
- A parse transform to introduce module aliasing into Erlang code☆10Sep 30, 2020Updated 5 years ago
- The most advanced and powerful Go HTTP Basic Authentication middleware.☆14Jan 15, 2026Updated last month
- Erlang port mapper module that uses Consul instead of EPMD☆15Jun 26, 2020Updated 5 years ago
- A test runner for Gleam and Erlang.☆13Feb 1, 2021Updated 5 years ago
- exerl☆16Feb 12, 2025Updated last year
- full featured match game with help from gleam & phoenix liveview☆31Jan 15, 2021Updated 5 years ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- ☆17Apr 4, 2023Updated 2 years ago
- A web framework for Erlang/OTP☆67Feb 20, 2026Updated last week
- A Mix plugin to use Caramel☆15Oct 24, 2021Updated 4 years ago
- ☆15Jan 14, 2026Updated last month
- Web based health monitoring☆33Dec 9, 2024Updated last year
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 5 years ago
- Pure random data generation library, appropriate for realistic simulations in the Erlang ecosystem☆19Sep 26, 2024Updated last year
- Erlang implementation of HyperLogLog☆18Dec 15, 2024Updated last year
- ☆18Nov 23, 2021Updated 4 years ago
- jsone bindings for the Gleam language☆18Dec 5, 2022Updated 3 years ago
- An erlang ETS based rate limiter inspired by Jobs☆16Jul 13, 2021Updated 4 years ago
- A wrapper for tracing test runs using TTB☆16Apr 24, 2025Updated 10 months ago
- Rust reimplementation of subset of Erlang's xref☆15Nov 28, 2021Updated 4 years ago
- A function decorator for OpenTelemetry traces.☆44Jan 28, 2025Updated last year
- 🔗 An example Gleam web application☆83Apr 13, 2025Updated 10 months ago
- benchmarks for mist, and other webservers☆21May 7, 2025Updated 9 months ago
- A lightweight erlang runtime☆21Feb 13, 2021Updated 5 years ago
- Gleam bindings to gun, the Erlang HTTP/1.1, HTTP/2 and Websocket client☆17Mar 20, 2024Updated last year
- basic mdns server and discovery client☆46Sep 19, 2022Updated 3 years ago
- ☆22Aug 2, 2023Updated 2 years ago
- Erlang port of the Shen programming language☆26Updated this week
- Elixir time zone support for your OS-supplied zoneinfo files☆27Jun 26, 2024Updated last year
- A demo of Twilio Video for the Build your first Twilio Video application webinar.☆17Feb 3, 2023Updated 3 years ago
- SemVer 2.0 parsing, matching, and comparisons for Erlang☆34May 28, 2021Updated 4 years ago
- Find refactoring candidates in your Elixir project easily with Churn 🧹☆94Mar 2, 2022Updated 3 years ago
- An implementation of AO: the A(ctor) O(riented) supercomputer for the permaweb.☆28Sep 7, 2025Updated 5 months ago
- Tool for running Ecto migrations upon boot of the Elixir application.☆28May 5, 2025Updated 9 months ago
- Logger Backends extracted for Elixir v1.15+☆60Jul 7, 2023Updated 2 years ago
- Tiny hex package to make the development experience of using gleam in elixir (and especially phoenix projects) better.☆28Feb 21, 2022Updated 4 years ago
- An example of distributed rate limiting with Phoenix using PubSub and ETS.☆27Mar 1, 2021Updated 4 years ago