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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Dec 5, 2020Updated 5 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 Vendor Plugin.☆14Aug 13, 2024Updated last year
- Wrappers for QuickCheck and PropEr testing tools☆21Jan 1, 2017Updated 9 years ago
- A rebar3 plugin for automatically compiling .proto files using the gpb protobuf compiler☆55Feb 15, 2026Updated last month
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Rebar3 plugin to auto compile and reload on file change.☆55Nov 26, 2024Updated last year
- A library of Erlang modules for developing applications targeted for the AtomVM platform.☆22Jun 18, 2025Updated 9 months ago
- Erlang toolchain installer☆16Jul 4, 2024Updated last year
- High-Performance Erlang Stream Processor☆58Sep 23, 2024Updated last year
- A rebar3 plugin for simplifying Erlang development for AtomVM☆12Feb 17, 2026Updated last month
- Dependency Updater for rebar3-based Erlang Projects☆21May 16, 2025Updated 10 months ago
- Common Test hooks to retry the last failing cases // Now built in Rebar3☆14Nov 15, 2017Updated 8 years ago
- A Native Erlang Library of CRC Algorithms.☆20Feb 18, 2021Updated 5 years ago
- The Erlang Dead Code Cleaner☆70Mar 10, 2026Updated 2 weeks ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A rebar3 plugin for frictionless release upgrades☆76Jun 20, 2025Updated 9 months ago
- A model of a distributed Erlang network within a single VM.☆14Mar 21, 2023Updated 3 years ago
- Curated BEAM language libraries by category☆29Jan 23, 2024Updated 2 years ago
- Simple exponential backoffs in Erlang☆139May 20, 2021Updated 4 years ago
- Erlang application for generating fake data☆22May 4, 2020Updated 5 years ago
- ☆20Jul 23, 2025Updated 8 months ago
- Erlang shell with advanced features: evaluating non-exported functions and shortcuts for frequently used functions.☆79Nov 10, 2023Updated 2 years ago
- Erlang Formatter for Rebar3☆113May 16, 2025Updated 10 months ago
- Purerlang version of AtomVM PackBeam utility☆15Feb 24, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- rebar3 plugin for generating docs with ex_doc☆48Nov 15, 2025Updated 4 months ago
- Kademlia based Mainline DHT implementation☆13Apr 15, 2021Updated 4 years ago
- experimenting with CRDTs in erlang☆32Mar 13, 2015Updated 11 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
- An Erlang implementation of the Axolotl ratcheting forward secrecy protocol that works in synchronous and asynchronous messaging environm…☆18Aug 10, 2019Updated 6 years ago
- Autocluster and Autoheal for EMQX Broker☆102Feb 10, 2026Updated last month
- SQL query language for Riak☆29Feb 18, 2024Updated 2 years ago
- Generic setup utility for Erlang-based systems☆70Mar 15, 2026Updated last week
- generic plugin & hook system for Erlang applications☆73Jun 26, 2025Updated 9 months ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- A NIF module for Erlang to Mozilla's Spidermonkey Javascript runtime.☆13Mar 10, 2026Updated 2 weeks ago
- Cuttlefish plugin for rebar3☆26Jan 12, 2025Updated last year
- Generic abstraction for building dataflow computations.☆16Nov 21, 2017Updated 8 years ago
- Brotli encoder NIF for Erlang☆31Jan 10, 2026Updated 2 months ago
- An Erlang Tuple Space implementation☆10Nov 22, 2025Updated 4 months ago
- Erlang PostgreSQL Logical streaming replication library☆22Feb 17, 2023Updated 3 years ago
- Turn an Erlang/OTP application into a Unikernel image☆46Sep 21, 2021Updated 4 years ago