Run PropEr test suites with rebar3
☆41Aug 23, 2023Updated 2 years ago
Alternatives and similar repositories for rebar3_proper
Users that are interested in rebar3_proper are comparing it to the libraries listed below
Sorting:
- ☆17Dec 5, 2020Updated 5 years ago
- A rebar3 plugin for automatically compiling .proto files using the gpb protobuf compiler☆55Feb 15, 2026Updated 2 weeks ago
- Wrappers for QuickCheck and PropEr testing tools☆21Jan 1, 2017Updated 9 years ago
- erlqueue is a multiple writer, multiple reader bounded shared memory lock-free queue API for Erlang (through NIF) and C/C++.☆10Sep 14, 2016Updated 9 years ago
- Rebar3 plugin to auto compile and reload on file change.☆55Nov 26, 2024Updated last year
- A model of a distributed Erlang network within a single VM.☆14Mar 21, 2023Updated 2 years ago
- A library of Erlang modules for developing applications targeted for the AtomVM platform.☆21Jun 18, 2025Updated 8 months ago
- Common Test hooks to retry the last failing cases // Now built in Rebar3☆14Nov 15, 2017Updated 8 years ago
- A rebar3 plugin for frictionless release upgrades☆76Jun 20, 2025Updated 8 months ago
- A rebar3 gpb rpc plugin for compiling .proto files☆14Aug 16, 2019Updated 6 years ago
- High-Performance Erlang Stream Processor☆58Sep 23, 2024Updated last year
- An Erlang implementation of the Axolotl ratcheting forward secrecy protocol that works in synchronous and asynchronous messaging environm…☆18Aug 10, 2019Updated 6 years ago
- A Native Erlang Library of CRC Algorithms.☆20Feb 18, 2021Updated 5 years ago
- Dependency Updater for rebar3-based Erlang Projects☆21May 16, 2025Updated 9 months ago
- Cuttlefish plugin for rebar3☆26Jan 12, 2025Updated last year
- A rebar3 plugin for simplifying Erlang development for AtomVM☆12Feb 17, 2026Updated 2 weeks ago
- ACME client library for Erlang☆12Jan 19, 2026Updated last month
- RSASSA-PSS Public Key Cryptographic Signature Algorithm for Erlang and Elixir.☆12Jul 28, 2019Updated 6 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
- ☆20Jul 23, 2025Updated 7 months ago
- Erlang PostgreSQL Logical streaming replication library☆22Feb 17, 2023Updated 3 years ago
- SQL query language for Riak☆29Feb 18, 2024Updated 2 years ago
- Native Erlang Unix serial interface☆59May 25, 2023Updated 2 years ago
- An Erlang Tuple Space implementation☆10Nov 22, 2025Updated 3 months ago
- ☆10Dec 22, 2021Updated 4 years ago
- Lazy sequences for Erlang☆18Sep 1, 2011Updated 14 years ago
- SecEr: Erlang Code Evolution Control Tool☆12Jul 26, 2022Updated 3 years ago
- Constant pool cache for Erlang for massive data☆10Jun 9, 2019Updated 6 years ago
- Curated BEAM language libraries by category☆29Jan 23, 2024Updated 2 years ago
- Erlang grpc on chatterbox☆145Apr 11, 2024Updated last year
- Erlang Formatter for Rebar3☆113May 16, 2025Updated 9 months ago
- A Google Protobuf implementation with enif (Erlang nif)☆43Dec 29, 2023Updated 2 years ago
- Turn an Erlang/OTP application into a Unikernel image☆46Sep 21, 2021Updated 4 years ago
- experimenting with CRDTs in erlang☆32Mar 13, 2015Updated 10 years ago
- Erlang counters☆14Nov 13, 2023Updated 2 years ago
- Kademlia based Mainline DHT implementation☆13Apr 15, 2021Updated 4 years ago
- Erlang toolchain installer☆16Jul 4, 2024Updated last year
- Plumtree based Distributed Process Group☆17Aug 10, 2017Updated 8 years ago
- Purerlang version of AtomVM PackBeam utility☆15Feb 24, 2026Updated last week