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 pipe-macro for Elixir that allows bare function captures☆45Updated 4 years ago
- A tool for composing and executing workflows at runtime for Elixir.☆40Updated last year
- Rust reimplementation of subset of Erlang's xref☆15Updated 3 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- Automatic dependency recompilation for Mix.install/2☆23Updated 11 months ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- A simple Surface macro component that converts markdown into HTML at compile-time☆11Updated 11 months ago
- A markdown compiler for the people☆25Updated 2 years ago
- Queue data structure for Elixir-lang☆34Updated this week
- Telemetry instrumentation for Cowboy☆30Updated 2 years ago
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 5 months ago
- New data types with real encapsulation. Create smart constructors, private and immutable fields, sum types and many other fun things. Ins…☆39Updated 4 years ago
- Convert Erlang style structs and error messages to equivalent Elixir.☆34Updated 9 months ago
- Fork pseudoterminals in Elixir☆20Updated this week
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- Parameterized modules for Elixir☆69Updated 4 years ago
- Elixir time zone support for your OS-supplied zoneinfo files☆25Updated 7 months ago
- A user-friendly distributed process registry and process supervisor☆35Updated last year
- Library to build GraphQL queries and mutations from Elixir structs☆35Updated last year
- Elixir library to build Plug-like pipelines☆18Updated this week
- Decompile Elixir modules to Erlang abstract code☆36Updated 3 years ago
- ☆13Updated last month
- A sandbox for Elixir☆37Updated 4 years ago
- Running Gleam in a mix project.☆33Updated 4 years ago
- Erlang port mapper module that uses Consul instead of EPMD☆15Updated 4 years ago
- A starter pack for Scenic Development with simple livereload built-in☆39Updated 5 years ago
- ☆12Updated 2 years ago
- Erlang/OTP transpiled to Elixir using EFE (Elixir Flavoured Erlang)☆25Updated 3 years ago
- ☆32Updated 2 years ago