pylon / spect
Type specification extensions for Elixir
☆21Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for spect
- Helpers for defining Elixir operators☆23Updated 3 years ago
- Just a mix command for running dialyzer :)☆19Updated 6 years ago
- Almost-extensible effects for Elixir.☆27Updated 8 years ago
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 2 months ago
- Tool that allows to write Erlang NIF libraries in Haskell☆26Updated 11 years 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
- ☆19Updated 7 years ago
- A mix task to execute eunit tests.☆17Updated 7 years ago
- Small matrix library for Erlang.☆24Updated last year
- An Elixir Protocol for transforming arbitrary Elixir data structures.☆26Updated 7 years ago
- EBILS - Erlang Binary Lightweight Search☆31Updated 4 years ago
- Typed Runtime configuration for Elixir/Erlang☆14Updated 6 years ago
- A Lasp PG adapter for the Phoenix framework pubsub☆18Updated 6 years ago
- Transform Erlang or Elixir data into Gleam data☆26Updated last year
- A type checker for Elixir☆33Updated last year
- OTP diagrams using PlantUML☆12Updated 4 years ago
- Basic exhaustiveness checking of unions in Elixir☆16Updated 5 years ago
- ☆31Updated 6 years ago
- Rust reimplementation of subset of Erlang's xref☆15Updated 2 years ago
- File conversion and export support for graphs created using the Erlang digraph module.☆35Updated 5 years ago
- Mix task for running tests for a distributed application☆9Updated 2 years ago
- Vigilant keeps watch over your processes.☆13Updated 5 years ago
- Stateful generative testing for Elixir implemented on top of StreamData☆11Updated 5 years ago
- Static typechecker for Erlang☆50Updated this week
- A Building blocks for elixir CQRS segregated applications☆14Updated 5 years ago
- Uniform low-level tcp, tcp/tls and unix socket interface☆20Updated 6 years ago
- library to handle mimetypes☆28Updated 6 months ago
- Backtracking behaviour to solve discrete problems by brute force☆26Updated 7 years ago
- Allows for easy interop with Erlang records.☆26Updated last year