duncanatt / detecterLinks
A runtime verification tool for Erlang systems
☆16Updated 2 years ago
Alternatives and similar repositories for detecter
Users that are interested in detecter are comparing it to the libraries listed below
Sorting:
- OAuth2 client in Erlang.☆23Updated 3 years ago
- A generic message buffer behaviour with pooling and back-pressure for Erlang/Elixir.☆17Updated 3 years ago
- Erlang library to create and connect an arbitrary cluster of nodes☆43Updated 4 months ago
- Lightweight tracing, debugging and profiling utility for Erlang☆42Updated last month
- Native Erlang library for KerberosV and GSS-API☆12Updated 7 months ago
- SemVer 2.0 parsing, matching, and comparisons for Erlang☆34Updated 4 years ago
- An Erlang/OTP library to mock registered processes☆16Updated last year
- Erlang Process Pools as a Local Variable☆21Updated 2 years ago
- Erlang node discovery and connection/reconnection☆21Updated last year
- ☆13Updated 4 years ago
- Erlang implementation of HyperLogLog☆18Updated last year
- An erlang ETS based rate limiter inspired by Jobs☆16Updated 4 years ago
- Erlang web playground http://tryerl.seriyps.ru/☆34Updated 7 months ago
- Erlang/OTP 25+ PostgreSQL client☆50Updated 2 years ago
- Dependency Updater for rebar3-based Erlang Projects☆21Updated 8 months ago
- An incredibly flexible and performant JSON parser, generator and formatter in pure Erlang.☆27Updated this week
- Relcast library☆17Updated 2 years ago
- An Erlang OTP application for load shedding☆26Updated 8 months ago
- ☆31Updated 7 years ago
- B-tree storage of sets with configurable I/O, implemented in Erlang.☆12Updated last year
- OTP diagrams using PlantUML☆12Updated 6 years ago
- Alternative application controller for Erlang/OTP☆30Updated last year
- Erlang counters☆14Updated 2 years ago
- Opencensus integration with Telemetry library☆17Updated 6 years ago
- Shelly is an Erlang/OTP application makes it simple to have a remote maintenance shell into your application☆17Updated 2 years ago
- Native Erlang implementation of OPCUA☆26Updated 2 years ago
- File conversion and export support for graphs created using the Erlang digraph module.☆35Updated 6 years ago
- An Erlang implementation of the Branca specification for authenticated and encrypted tokens☆12Updated 5 years ago
- Erlang Memory Mapped Files☆38Updated 10 months ago
- This article demonstrates how simple it is to make music with Erlang and ffmpeg.☆13Updated 5 years ago