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

☆910Mar 12, 2026Updated last week

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
  ☆834Mar 7, 2026Updated 2 weeks ago
• krestenkrab / triq

  View on GitHub
  Trifork QuickCheck
  ☆278Dec 23, 2016Updated 9 years ago
• parapluu / Concuerror

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

  View on GitHub
  Collection of functions and scripts to debug Erlang in production.
  ☆1,410Aug 10, 2025Updated 7 months ago
• erlang-lager / lager

  View on GitHub
  A logging framework for Erlang/OTP
  ☆1,131Aug 26, 2025Updated 6 months ago
• uwiger / gproc

  View on GitHub
  Extended process registry for Erlang
  ☆1,097Jan 21, 2026Updated last month
• 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,796Feb 27, 2026Updated 3 weeks ago
• crownedgrouse / geas

  View on GitHub
  Guess Erlang Application Scattering
  ☆110Dec 14, 2025Updated 3 months ago
• massemanet / eper

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

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

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

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

  View on GitHub
  Erlang Style Reviewer
  ☆429Mar 14, 2026Updated last week
• zhongwencool / observer_cli

  View on GitHub
  Visualize Erlang/Elixir Nodes On The Command Line
  ☆1,507Mar 13, 2026Updated last week
• josefs / Gradualizer

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

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

  View on GitHub
  JSON NIFs for Erlang
  ☆874Mar 3, 2026Updated 2 weeks ago
• erlware / relx

  View on GitHub
  Sane, simple release creation for Erlang
  ☆692Mar 5, 2026Updated 2 weeks ago
• duomark / epocxy

  View on GitHub
  Erlang Patterns of Concurrency
  ☆315Jan 25, 2023Updated 3 years 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.
  ☆210Feb 5, 2026Updated last month
• andytill / erlyberly

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

  View on GitHub
  Django templates for Erlang
  ☆510Aug 13, 2025Updated 7 months ago
• boundary / folsom

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

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

  View on GitHub
  Easy building and installing of Erlang/OTP instances
  ☆1,655Jun 19, 2025Updated 9 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
• jcomellas / getopt

  View on GitHub
  Erlang module to parse command line arguments using the GNU getopt syntax
  ☆256Oct 11, 2023Updated 2 years ago
• talentdeficit / jsx

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

  View on GitHub
  Erlang Formatter for Rebar3
  ☆113May 16, 2025Updated 10 months ago
• erlang-ls / erlang_ls

  View on GitHub
  The Erlang Language Server
  ☆661Aug 15, 2025Updated 7 months ago
• prometheus-erl / prometheus.erl

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

  View on GitHub
  ☆114May 27, 2015Updated 10 years ago
• inaka / worker_pool

  View on GitHub
  Erlang worker pool
  ☆291Feb 21, 2026Updated last month
• devinus / poolboy

  View on GitHub
  A hunky Erlang worker pool factory
  ☆1,593Apr 18, 2023Updated 2 years ago
• jlouis / fuse

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

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

  View on GitHub
  A Google Protobuf implementation for Erlang
  ☆574Feb 6, 2026Updated last month