duncanatt / detecter
A runtime verification tool for Erlang systems
☆15Updated last year
Alternatives and similar repositories for detecter:
Users that are interested in detecter are comparing it to the libraries listed below
- Erlang counters☆14Updated last year
- Erlang library to create standalone modules from anonymous functions☆27Updated last week
- Lightweight tracing, debugging and profiling utility for Erlang☆36Updated 3 weeks ago
- Erlang library to create and connect an arbitrary cluster of nodes☆35Updated 10 months ago
- Erlang/OTP 25+ PostgreSQL client☆49Updated last year
- Use Erlang typespecs in the runtime☆39Updated 2 months ago
- A generic message buffer behaviour with pooling and back-pressure for Erlang/Elixir.☆18Updated 2 years ago
- Native Erlang library for KerberosV and GSS-API☆13Updated 2 months ago
- OTP diagrams using PlantUML☆12Updated 5 years ago
- Erlang Memory Mapped Files☆32Updated 2 months ago
- OAuth2 client in Erlang.☆23Updated 2 years ago
- Native Erlang implementation of OPCUA☆25Updated last year
- A high-performance probabilistic LRFU concurrent in-memory cache with one-hit-wonders detection for Erlang and Elixir☆23Updated 3 years ago
- Erlang Fast JSON parser☆34Updated 4 months ago
- exerl☆11Updated 2 months ago
- Erlang node discovery and connection/reconnection☆18Updated last month
- ICMP protocol implementation for Erlang without NIFs☆34Updated 2 years ago
- MLIR backend for Nx☆10Updated 7 months ago
- Rebar3 plugin wrapper around TypEr☆12Updated 2 months ago
- Erlang Process Pools as a Local Variable☆19Updated last year
- File conversion and export support for graphs created using the Erlang digraph module.☆35Updated 5 years ago
- An Erlang/OTP library to mock registered processes☆15Updated 7 months ago
- NOT FOR PRODUCTION USE: Safe-ish is an experimental sandbox for BEAM modules that examines and rejects BEAM bytecode containing instructi…☆28Updated 2 years ago
- Erlang Parse Transforms Including Fold (MapReduce) comprehension, Elixir-like Pipeline, and default function arguments☆29Updated last year
- A rebar plugin for running custom commands☆16Updated 3 years ago
- A library to synchronise records from the ETS tables between nodes☆21Updated last month
- An incredibly flexible and performant JSON parser, generator and formatter in pure Erlang.☆23Updated this week
- QUIC carrier for Erlang Distribution Protocol☆46Updated 2 years ago
- gen_tcp acceptor pool☆28Updated 2 years ago