viktoriafordos / ew20Links
Prototype implementation of the security analysis introduced in V. Fördős: Secure Design and Verification of Erlang Systems paper
☆12Updated 4 years ago
Alternatives and similar repositories for ew20
Users that are interested in ew20 are comparing it to the libraries listed below
Sorting:
- exerl☆14Updated 6 months ago
- ☆17Updated 4 years ago
- KSUID generation and manipulation in Erlang.☆12Updated 3 years ago
- Custom Erlang Distribution implementation based on the original☆19Updated 7 years ago
- Opencensus integration with Telemetry library☆17Updated 6 years ago
- An Erlang OTP application for load shedding☆26Updated 3 months ago
- OTP diagrams using PlantUML☆12Updated 5 years ago
- ☆31Updated 3 years ago
- Native Erlang library for KerberosV and GSS-API☆13Updated 2 months ago
- SemVer 2.0 parsing, matching, and comparisons for Erlang☆33Updated 4 years ago
- An Erlang implementation of the Branca specification for authenticated and encrypted tokens☆12Updated 4 years ago
- Small matrix library for Erlang.☆24Updated 2 years ago
- Simple Erlang's logger's formatters wrapper that adds colours to the messages☆15Updated 5 years ago
- ☆20Updated last month
- A high-performance probabilistic LRFU concurrent in-memory cache with one-hit-wonders detection for Erlang and Elixir☆23Updated 3 years ago
- A generic message buffer behaviour with pooling and back-pressure for Erlang/Elixir.☆18Updated 2 years ago
- Erlang reltool utility functionality application☆26Updated last year
- Dependency Updater for rebar3-based Erlang Projects☆21Updated 3 months ago
- HOTP and TOTP algorithms in Erlang.☆30Updated 3 years ago
- Erlang counters☆14Updated last year
- ☆13Updated 4 years ago
- Alternative application controller for Erlang/OTP☆30Updated last year
- ☆18Updated 10 months ago
- A topology and parameter evolving universal learning network.☆21Updated 6 years ago
- Application Resilience Testing☆14Updated 3 years ago
- A runtime verification tool for Erlang systems☆16Updated last year
- An erlang ETS based rate limiter inspired by Jobs☆16Updated 4 years ago
- A Native Erlang Library of CRC Algorithms.☆20Updated 4 years ago
- MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.☆11Updated 4 years ago
- A matrix library in pure Elixir based on atomics.☆10Updated 3 years ago