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
- A pipe-macro for Elixir that allows bare function captures☆45Updated 4 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- Rust reimplementation of subset of Erlang's xref☆15Updated 3 years ago
- Convert Erlang style structs and error messages to equivalent Elixir.☆34Updated last year
- Concise Binary Object Representation (RFC 7049)☆30Updated 2 years ago
- compile-time named arguments for Elixir functions and macros☆19Updated 5 years ago
- Telemetry instrumentation for Cowboy☆30Updated 2 years ago
- A markdown compiler for the people☆25Updated 3 years ago
- full featured match game with help from gleam & phoenix liveview☆31Updated 4 years ago
- ☆12Updated 2 years ago
- Phoenix PubSub adapter based on PostgreSQL LISTEN / NOTIFY☆22Updated 4 years ago
- A tool for composing and executing workflows at runtime for Elixir.☆40Updated last year
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 8 months ago
- New data types with real encapsulation. Create smart constructors, private and immutable fields, sum types and many other fun things. Ins…☆39Updated 5 years ago
- Parameterized modules for Elixir☆69Updated 5 years ago
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- A type checker for Elixir☆33Updated 2 years ago
- Stateful generative testing for Elixir implemented on top of StreamData☆13Updated 6 years ago
- Feature Flags based on LWW registers and HLCs☆46Updated 2 years ago
- Just a mix command for running dialyzer :)☆19Updated 6 years ago
- ☆32Updated 2 months ago
- A simple abstraction for standardized observability with telemetry and more in Elixir☆39Updated last year
- Pure Elixir disk backed key-value store.☆28Updated 3 weeks ago
- List of inconsistencies found throughout the Elixir programming language☆27Updated 6 years ago
- A test runner for Gleam and Erlang.☆13Updated 4 years ago
- Session Types in Elixir☆50Updated last year
- A webring for bloggers in the BEAM Ecosystem (Erlang, Elixir, Gleam, LFE, etc), you find it at beambloggers.com☆56Updated last year
- An Elixir client for the Nu HTML Checker (v.Nu).☆55Updated 2 weeks ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago