fredlund/McErlang 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

fredlund/McErlang

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/fredlund/McErlang)

Close

fredlund / McErlangView on GitHubMore

• External links
• Readme badge

The McErlang model checker for Erlang

☆65May 19, 2016Updated 9 years ago

Alternatives and similar repositories for McErlang

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

• parapluu / Concuerror

  View on GitHub
  Concuerror is a stateless model checking tool for Erlang programs.
  ☆341Feb 20, 2026Updated 2 weeks ago
• erldocs / erldocs.com

  View on GitHub
  ☆11Feb 27, 2020Updated 6 years ago
• tamarit / edd

  View on GitHub
  Erlang Declarative Debugger
  ☆20Jul 22, 2020Updated 5 years ago
• serperu / secer

  View on GitHub
  SecEr: Erlang Code Evolution Control Tool
  ☆12Jul 26, 2022Updated 3 years ago
• KMahoney / kpm-list

  View on GitHub
  An Emacs buffer list
  ☆20Sep 24, 2017Updated 8 years ago
• fredlund / jsongen

  View on GitHub
  JSON instances generation and validation from JSON Schema and other JSON data descriptions
  ☆39Jun 29, 2017Updated 8 years ago
• opencensus-beam / tracelog

  View on GitHub
  A logging handler that can transforms structured logs into opencensus distributed tracing spans
  ☆25Jul 22, 2019Updated 6 years ago
• altenwald / forseti

  View on GitHub
  Process balancer and distributor for Erlang/OTP
  ☆26Dec 17, 2018Updated 7 years ago
• inaka / cowboy-trails

  View on GitHub
  A couple of improvements over Cowboy Routes
  ☆73Jun 10, 2024Updated last year
• ostinelli / cowbell

  View on GitHub
  An Erlang node connection manager.
  ☆26Oct 18, 2017Updated 8 years ago
• huiqing / percept2

  View on GitHub
  Concurrent profiling tool for Erlang
  ☆135Jan 10, 2017Updated 9 years ago
• eproxus / pretty_errors

  View on GitHub
  Error and stack trace pretty printers for Erlang
  ☆38Jun 3, 2016Updated 9 years ago
• fenollp / erlang-formatter

  View on GitHub
  Format Erlang code using Emacs' erlang-mode
  ☆47Jul 16, 2025Updated 7 months ago
• mistupv / cauder-core

  View on GitHub
  A Causal-Consistent Debugger for (Core) Erlang
  ☆18Jul 8, 2021Updated 4 years ago
• dtip / steamroller

  View on GitHub
  Steamroller: An opinionated Erlang code formatter.
  ☆45Sep 15, 2020Updated 5 years ago
• refuge / rkvs

  View on GitHub
  Simple Erlang Key/Value framework
  ☆30May 12, 2015Updated 10 years ago
• GeneStevens / jsonpath

  View on GitHub
  Fast Erlang JSON data retrieval and updates via javascript-like notation
  ☆37Aug 17, 2022Updated 3 years ago
• rpip / fakerl

  View on GitHub
  Erlang application for generating fake data
  ☆22May 4, 2020Updated 5 years ago
• Vagabond / erlang-alexander

  View on GitHub
  Cutting the Gordian knot of blocking calls between OTP processes
  ☆18Oct 14, 2018Updated 7 years ago
• ast / webrtc

  View on GitHub
  Erlang WebRTC peer implementation.
  ☆16Apr 8, 2019Updated 6 years ago
• synrc / mad

  View on GitHub
  ⚡ MAD: Managing Application Dependencies LING/UNIX
  ☆173Apr 8, 2022Updated 3 years ago
• ninenines / asciideck

  View on GitHub
  Asciidoc for Erlang.
  ☆35Jan 16, 2023Updated 3 years ago
• seriyps / eplaypen

  View on GitHub
  Erlang web playground http://tryerl.seriyps.ru/
  ☆34May 28, 2025Updated 9 months ago
• ddossot / jerg

  View on GitHub
  JSON Schema to Erlang Records Generator
  ☆47Feb 14, 2018Updated 8 years ago
• hamidreza-s / Queuesk

  View on GitHub
  Priority Task Queue for Erlang
  ☆27Jan 2, 2016Updated 10 years ago
• rcouch / ecsv

  View on GitHub
  Erlang CSV Parser
  ☆30Aug 10, 2020Updated 5 years ago
• klarna / avlizer

  View on GitHub
  Avro Data Serializer for Erlang
  ☆20May 14, 2024Updated last year
• Kyorai / cuttlefish

  View on GitHub
  Erlang library to read sysctl-like configuration files
  ☆22Oct 29, 2025Updated 4 months ago
• biokoda / detest

  View on GitHub
  Tool for running tests on a cluster of erlang nodes
  ☆18Sep 20, 2019Updated 6 years ago
• armon / erl-rstar

  View on GitHub
  An Erlang implementation of the R*-tree spacial data structure
  ☆58Jul 11, 2018Updated 7 years ago
• saleyn / util

  View on GitHub
  Erlang utility modules
  ☆45Aug 4, 2024Updated last year
• lasp-lang / lasp_pg

  View on GitHub
  Lasp driven process group registry for Erlang.
  ☆66May 4, 2022Updated 3 years ago
• inaka / sumo_db

  View on GitHub
  Erlang Persistency Framework
  ☆178Nov 10, 2022Updated 3 years ago
• aprolog-lang / aprolog

  View on GitHub
  αProlog
  ☆18Jul 9, 2023Updated 2 years ago
• processone / erlang-sqlite3

  View on GitHub
  Sqlite gen_server port for Erlang. Creates, reads and writes to sqlite database.
  ☆24Jun 27, 2024Updated last year
• erlef / build-and-packaging-wg

  View on GitHub
  Build and Packaging Working Group
  ☆20Feb 3, 2026Updated last month
• krestenkrab / triq

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

  View on GitHub
  An Erlang application for Google Cloud Messaging
  ☆84Jul 29, 2016Updated 9 years ago
• garret-smith / gen_leader_revival

  View on GitHub
  A project to unify various implementations of the Erlang library gen_leader into a modern, robust single implementation
  ☆42Jul 2, 2015Updated 10 years ago