proper-testing/proper external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

proper-testing/proper

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/proper-testing/proper)

Close

proper-testing / properView on GitHubMore

• External links
• Readme badge

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

☆906Nov 24, 2025Updated 3 months ago

Alternatives and similar repositories for proper

Users that are interested in proper are comparing it to the libraries listed below

• eproxus / meck

  View on GitHub
  A mocking library for Erlang
  ☆832Oct 12, 2025Updated 4 months ago
• ferd / recon

  View on GitHub
  Collection of functions and scripts to debug Erlang in production.
  ☆1,406Aug 10, 2025Updated 6 months ago
• parapluu / Concuerror

  View on GitHub
  Concuerror is a stateless model checking tool for Erlang programs.
  ☆341Feb 20, 2026Updated last week
• uwiger / gproc

  View on GitHub
  Extended process registry for Erlang
  ☆1,097Jan 21, 2026Updated last month
• krestenkrab / triq

  View on GitHub
  Trifork QuickCheck
  ☆278Dec 23, 2016Updated 9 years ago
• erlang-lager / lager

  View on GitHub
  A logging framework for Erlang/OTP
  ☆1,128Aug 26, 2025Updated 6 months ago
• alfert / propcheck

  View on GitHub
  Property based Testing for Elixir (based upon PropEr)
  ☆391Apr 21, 2025Updated 10 months ago
• jlouis / safetyvalve

  View on GitHub
  A safety valve for your erlang node
  ☆261Jun 14, 2017Updated 8 years ago
• erlang / rebar3

  View on GitHub
  Erlang build tool that makes it easy to compile and test Erlang applications and releases.
  ☆1,797Updated this week
• crownedgrouse / geas

  View on GitHub
  Guess Erlang Application Scattering
  ☆110Dec 14, 2025Updated 2 months ago
• rustyio / sync

  View on GitHub
  On-the-fly recompiling and reloading in Erlang. Code without friction.
  ☆757Jun 30, 2025Updated 8 months ago
• erlware / relx

  View on GitHub
  Sane, simple release creation for Erlang
  ☆692Feb 2, 2026Updated 3 weeks ago
• massemanet / eper

  View on GitHub
  Erlang performance and debugging tools
  ☆438Jul 6, 2018Updated 7 years ago
• massemanet / redbug

  View on GitHub
  erlang tracing debugger
  ☆227Feb 26, 2025Updated last year
• uwiger / jobs

  View on GitHub
  Job scheduler for load regulation
  ☆329Nov 23, 2023Updated 2 years ago
• AdRoll / rebar3_format

  View on GitHub
  Erlang Formatter for Rebar3
  ☆113May 16, 2025Updated 9 months ago
• zhongwencool / observer_cli

  View on GitHub
  Visualize Erlang/Elixir Nodes On The Command Line
  ☆1,503Jan 16, 2026Updated last month
• inaka / elvis

  View on GitHub
  Erlang Style Reviewer
  ☆429Feb 20, 2026Updated last week
• andytill / erlyberly

  View on GitHub
  erlang tracing for the masses
  ☆698Jun 21, 2023Updated 2 years ago
• davisp / jiffy

  View on GitHub
  JSON NIFs for Erlang
  ☆873Sep 17, 2025Updated 5 months ago
• ferd / dispcount

  View on GitHub
  Erlang task dispatcher based on ETS counters.
  ☆211Jun 17, 2021Updated 4 years ago
• duomark / epocxy

  View on GitHub
  Erlang Patterns of Concurrency
  ☆315Jan 25, 2023Updated 3 years ago
• talentdeficit / jsx

  View on GitHub
  an erlang application for consuming, producing and manipulating json. inspired by yajl
  ☆696Jun 26, 2024Updated last year
• josefs / Gradualizer

  View on GitHub
  A Gradual type system for Erlang
  ☆620Apr 23, 2025Updated 10 months ago
• RefactoringTools / wrangler

  View on GitHub
  Wrangler -- An Erlang Refactorer
  ☆163Jan 30, 2025Updated last year
• cuter-testing / cuter

  View on GitHub
  A concolic testing tool for the Erlang functional programming language.
  ☆211Feb 5, 2026Updated 3 weeks ago
• kerl / kerl

  View on GitHub
  Easy building and installing of Erlang/OTP instances
  ☆1,653Jun 19, 2025Updated 8 months ago
• erlanglab / erlangpl

  View on GitHub
  Tool for developers working with systems running on the Erlang VM (BEAM). It helps with performance analysis.
  ☆544Dec 29, 2021Updated 4 years ago
• inaka / worker_pool

  View on GitHub
  Erlang worker pool
  ☆291Feb 21, 2026Updated last week
• WhatsApp / erlfmt

  View on GitHub
  An automated code formatter for Erlang
  ☆446Updated this week
• ostinelli / syn

  View on GitHub
  A scalable global Process Registry and Process Group manager for Erlang and Elixir.
  ☆691Feb 13, 2026Updated 2 weeks ago
• jcomellas / getopt

  View on GitHub
  Erlang module to parse command line arguments using the GNU getopt syntax
  ☆255Oct 11, 2023Updated 2 years ago
• prometheus-erl / prometheus.erl

  View on GitHub
  Prometheus.io client in Erlang
  ☆354Dec 23, 2025Updated 2 months ago
• happi / theBeamBook

  View on GitHub
  A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
  ☆3,999Feb 12, 2026Updated 2 weeks ago
• ninenines / gun

  View on GitHub
  HTTP/1.1, HTTP/2, Websocket client (and more) for Erlang/OTP.
  ☆934Nov 6, 2025Updated 3 months ago
• tomas-abrahamsson / gpb

  View on GitHub
  A Google Protobuf implementation for Erlang
  ☆575Feb 6, 2026Updated 3 weeks ago
• boundary / folsom

  View on GitHub
  Expose Erlang Events and Metrics
  ☆584Nov 7, 2018Updated 7 years ago
• okeuday / uuid

  View on GitHub
  Erlang Native UUID Generation
  ☆221Oct 4, 2025Updated 4 months ago
• jlouis / fuse

  View on GitHub
  A Circuit Breaker for Erlang
  ☆512Feb 15, 2022Updated 4 years ago