josevalim / intersection_types
Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.
☆10Updated 3 years ago
Related projects: ⓘ
- Allows for easy interop with Erlang records.☆26Updated last year
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- A pipe-macro for Elixir that allows bare function captures☆45Updated 4 years ago
- Naively-evaluated Datalog, implemented in Elixir☆30Updated last week
- A tool for composing and executing workflows at runtime for Elixir.☆39Updated 9 months ago
- Convert Erlang style structs and error messages to equivalent Elixir.☆34Updated 4 months ago
- Rust reimplementation of subset of Erlang's xref☆15Updated 2 years ago
- A markdown compiler for the people☆25Updated 2 years ago
- New data types with real encapsulation. Create smart constructors, private and immutable fields, sum types and many other fun things. Ins…☆38Updated 4 years ago
- Telemetry instrumentation for Cowboy☆30Updated 2 years ago
- A user-friendly distributed process registry and process supervisor☆35Updated last year
- Just a mix command for running dialyzer :)☆19Updated 6 years ago
- Helpers for defining Elixir operators☆23Updated 2 years ago
- ☆27Updated 6 years ago
- A simple abstraction for standardized observability with telemetry and more in Elixir☆40Updated 5 months ago
- A webring for bloggers in the BEAM Ecosystem (Erlang, Elixir, Gleam, LFE, etc), you find it at beambloggers.com☆55Updated 6 months ago
- 🔌 A Gleam HTTP service adapter for the Plug web application interface☆32Updated 4 years ago
- A few example Livebook notebooks.☆20Updated 2 years ago
- Concise Binary Object Representation (RFC 7049)☆25Updated last year
- An Ecto custom type for working Postgres ranges☆25Updated last year
- A starter pack for Scenic Development with simple livereload built-in☆38Updated 5 years ago
- A type checker for Elixir☆33Updated last year
- A high-performance probabilistic LRFU concurrent in-memory cache with one-hit-wonders detection for Erlang and Elixir☆23Updated 2 years ago
- Store and manipulate a set of bit flags, mostly used for syncing the state over the wire between peers in a peer to peer network, such as…☆19Updated 5 years ago
- Rational number library for Elixir.☆40Updated 6 months ago
- Design by contract in elixir☆45Updated 3 years ago
- A sandbox for Elixir☆37Updated 3 years ago
- State aware Elixir functions without spawning processes☆27Updated 6 years ago
- Feature Flags based on LWW registers and HLCs☆46Updated last year
- Erlang/OTP transpiled to Elixir using EFE (Elixir Flavoured Erlang)☆24Updated 3 years ago