A rebar3 plugin to enable the execution of Erlang QuickCheck properties
☆13Mar 3, 2020Updated 5 years ago
Alternatives and similar repositories for rebar3-eqc-plugin
Users that are interested in rebar3-eqc-plugin are comparing it to the libraries listed below
Sorting:
- experimenting with CRDTs in erlang☆32Mar 13, 2015Updated 10 years ago
- Simple Erlang's logger's formatters wrapper that adds colours to the messages☆15Aug 11, 2020Updated 5 years ago
- OTP diagrams using PlantUML☆12Nov 28, 2019Updated 6 years ago
- Cuttlefish plugin for rebar3☆26Jan 12, 2025Updated last year
- Erlang Distribution through ssh☆12Nov 13, 2015Updated 10 years ago
- Array-like collections optimized for tail manipulation☆11Mar 20, 2020Updated 5 years ago
- A model of a distributed Erlang network within a single VM.☆14Mar 21, 2023Updated 2 years ago
- A topology and parameter evolving universal learning network.☆22Jul 30, 2019Updated 6 years ago
- A vectorclock library for Erlang.☆14May 27, 2022Updated 3 years ago
- A lean portable Erlang, no BEAM☆52Sep 26, 2013Updated 12 years ago
- An OTP application to integrate a rate-limiter in your application.☆16May 16, 2017Updated 8 years ago
- An in-memory caching server for Erlang☆20Jan 27, 2025Updated last year
- Ordered fixed-size binary dictionary in Erlang☆61Mar 23, 2016Updated 9 years ago
- ☆31May 16, 2022Updated 3 years ago
- A port of Erlang/OTP to uClinux for processors without an MMU (micro controllers and DSP chips)☆14Aug 24, 2015Updated 10 years ago
- A Merkle Tree implementation in Erlang☆21Apr 23, 2021Updated 4 years ago
- A rebar plugin for running custom commands☆16Jun 14, 2021Updated 4 years ago
- Run a release with one simple command☆24Aug 2, 2023Updated 2 years ago
- Magnus Klaar's rate limiter code from etorrent☆26Mar 5, 2016Updated 9 years ago
- A rebar3 gpb rpc plugin for compiling .proto files☆14Aug 16, 2019Updated 6 years ago
- Erlang application for generating fake data☆22May 4, 2020Updated 5 years ago
- Erlang Services Management☆25Feb 16, 2019Updated 7 years ago
- Erlang/OTP support for Visual Studio Code☆18Feb 1, 2019Updated 7 years ago
- Common Test hooks for more readable logs☆49Feb 28, 2025Updated last year
- High-Performance Erlang Stream Processor☆58Sep 23, 2024Updated last year
- A NIF wrapper around a basic bloom filter.☆62Dec 21, 2022Updated 3 years ago
- Erlang binding for geometry libraries☆18Dec 12, 2012Updated 13 years ago
- Erlang cypto library used by the libp2p system☆11May 10, 2022Updated 3 years ago
- A64: ARM64 Assembler for Erlang☆11Sep 30, 2020Updated 5 years ago
- Erlang DTrace consumer☆23May 26, 2017Updated 8 years ago
- MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.☆12Jan 27, 2021Updated 5 years ago
- Hardware emulation layer for the GRiSP runtime☆15Apr 16, 2025Updated 10 months ago
- A library for Erlang/OTP (and Elixir language) of numerical routines on single and double-precision real and complex number vectors and m…☆11Jun 7, 2017Updated 8 years ago
- Erlang and Elixir supervisors restart strategies☆11Aug 3, 2017Updated 8 years ago
- An ahead-of-time compiler from Erlang (intermediate language) to LLVM IR and a runtime library for linking against it☆15Sep 18, 2018Updated 7 years ago
- A rebar3 plugin for simplifying Erlang development for AtomVM☆12Feb 17, 2026Updated last week
- RSASSA-PSS Public Key Cryptographic Signature Algorithm for Erlang and Elixir.☆12Jul 28, 2019Updated 6 years ago
- An EasyMock inspired mocking library for erlang.☆23Mar 28, 2023Updated 2 years ago
- Splice 2 sockets together in Erlang☆11Feb 10, 2022Updated 4 years ago