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☆15Updated 7 months ago
- OTP diagrams using PlantUML☆12Updated 5 years ago
- KSUID generation and manipulation in Erlang.☆11Updated 3 years ago
- Opencensus integration with Telemetry library☆17Updated 6 years ago
- Custom Erlang Distribution implementation based on the original☆18Updated 7 years ago
- ☆18Updated 10 months ago
- An erlang ETS based rate limiter inspired by Jobs☆16Updated 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
- Erlang reltool utility functionality application☆26Updated last year
- An Erlang OTP application for load shedding☆26Updated 3 months ago
- ☆17Updated 4 years ago
- ☆31Updated 3 years ago
- ☆20Updated last month
- Blurhash in Erlang☆11Updated 2 years ago
- Native Erlang library for KerberosV and GSS-API☆12Updated 3 months ago
- Curated BEAM language libraries by category☆25Updated last year
- A topology and parameter evolving universal learning network.☆21Updated 6 years ago
- A generic message buffer behaviour with pooling and back-pressure for Erlang/Elixir.☆17Updated 2 years ago
- A high-performance probabilistic LRFU concurrent in-memory cache with one-hit-wonders detection for Erlang and Elixir☆23Updated 3 years ago
- Alternative application controller for Erlang/OTP☆30Updated last year
- Mnesia backend plugin using Leveled (https://github.com/martinsumner/leveled)☆20Updated 3 years ago
- A matrix library in pure Elixir based on atomics.☆10Updated 4 years ago
- Dependency Updater for rebar3-based Erlang Projects☆21Updated 3 months ago
- SemVer 2.0 parsing, matching, and comparisons for Erlang☆33Updated 4 years ago
- A few thought experiments solidified as code.☆21Updated last month
- A rebar3 plugin for simplifying Erlang development for AtomVM☆12Updated 3 weeks ago
- Application Resilience Testing☆13Updated 3 years ago
- MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.☆11Updated 4 years ago
- Erlang Process Pools as a Local Variable☆21Updated last year