A rebar3 plugin to enable the execution of Erlang QuickCheck properties
☆13Mar 3, 2020Updated 6 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- experimenting with CRDTs in erlang☆32Mar 13, 2015Updated 11 years ago
- Cuttlefish plugin for rebar3☆26Jan 12, 2025Updated last year
- Simple Erlang's logger's formatters wrapper that adds colours to the messages☆15Aug 11, 2020Updated 5 years ago
- ☆31May 16, 2022Updated 4 years ago
- A lean portable Erlang, no BEAM☆52Sep 26, 2013Updated 12 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Erlang binding for geometry libraries☆18Dec 12, 2012Updated 13 years ago
- Magnus Klaar's rate limiter code from etorrent☆26Mar 5, 2016Updated 10 years ago
- A topology and parameter evolving universal learning network.☆22Jul 30, 2019Updated 6 years ago
- Ordered fixed-size binary dictionary in Erlang☆61Mar 23, 2016Updated 10 years ago
- Erlang Distribution through ssh☆12Nov 13, 2015Updated 10 years ago
- An in-memory caching server for Erlang☆20Jan 27, 2025Updated last year
- Run a release with one simple command☆25Aug 2, 2023Updated 2 years ago
- Rebar Erlang, OTP and other project templates. Use rebar3 for rebar3 templates and updates.☆67Feb 8, 2016Updated 10 years ago
- Erlang application for generating fake data☆22May 4, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Common Test hooks for more readable logs☆49Feb 28, 2025Updated last year
- Version-incrementing, appup-generating, relx-coaxing, workflow-assistant for Erlang projects using rebar3.☆92Aug 13, 2018Updated 7 years ago
- Array-like collections optimized for tail manipulation☆11Mar 20, 2020Updated 6 years ago
- OTP diagrams using PlantUML☆12Nov 28, 2019Updated 6 years ago
- Columbo - the dependency detective - will highlight 3rd party dependency problems in your Erlang programs.☆14Dec 22, 2015Updated 10 years ago
- A NIF wrapper around a basic bloom filter.☆62Dec 21, 2022Updated 3 years ago
- A rebar3 port compiler☆69Apr 14, 2026Updated last month
- A rebar3 template for riak_core applications☆28Sep 18, 2018Updated 7 years ago
- An OTP application to integrate a rate-limiter in your application.☆16May 16, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An OTP Process Pool Application☆315May 15, 2026Updated last week
- Erlang reltool utility functionality application☆26Feb 16, 2024Updated 2 years ago
- Plumtree based Distributed Process Group☆17Aug 10, 2017Updated 8 years ago
- Erlang Services Management☆25Feb 16, 2019Updated 7 years ago
- High-Performance Erlang Stream Processor☆57May 14, 2026Updated last week
- A model of a distributed Erlang network within a single VM.☆14Mar 21, 2023Updated 3 years ago
- Auth + Google = Augle☆21Dec 6, 2019Updated 6 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
- Erlang/OTP support for Visual Studio Code☆18Feb 1, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.☆12Jan 27, 2021Updated 5 years ago
- Simple Elixir Configuration Management☆36Aug 5, 2014Updated 11 years ago
- A vectorclock library for Erlang.☆14May 27, 2022Updated 3 years ago
- jquery selectors for HTML & XML in erlang☆21May 4, 2014Updated 12 years ago
- Erlang DTrace consumer☆23May 26, 2017Updated 8 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
- dispcount-based lhttpc fork for massive amounts of requests to limited endpoints☆36Jan 17, 2019Updated 7 years ago