viktoriafordos / ew20
Prototype implementation of the security analysis introduced in V. Fördős: Secure Design and Verification of Erlang Systems paper
☆12Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for ew20
- ☆15Updated 3 years ago
- exerl☆11Updated 2 weeks ago
- SemVer 2.0 parsing, matching, and comparisons for Erlang☆33Updated 3 years ago
- APIac Elixir plug for mutual TLS authentication (RFC8705)☆12Updated 4 years ago
- A workshop at CodeBEAM America 2024 showcasing custom hardware and Erlang-based firmware development using AtomVM.☆11Updated this week
- Erlang counters☆14Updated last year
- An in-memory caching server for Erlang☆18Updated last year
- Opencensus integration with Telemetry library☆17Updated 5 years ago
- An Erlang OTP application for load shedding☆27Updated 4 months ago
- A high-performance probabilistic LRFU concurrent in-memory cache with one-hit-wonders detection for Erlang and Elixir☆23Updated 3 years ago
- Simple Erlang's logger's formatters wrapper that adds colours to the messages☆14Updated 4 years ago
- A library application to work with glob patterns.☆10Updated 3 years ago
- peg -> nimbleparsec☆16Updated 3 months ago
- Custom Erlang Distribution implementation based on the original☆19Updated 6 years ago
- Application Resilience Testing☆13Updated 3 years ago
- An incredibly flexible and performant JSON parser, generator and formatter in pure Erlang.☆23Updated last week
- OTP diagrams using PlantUML☆12Updated 4 years ago
- A matrix library in pure Elixir based on atomics.☆9Updated 3 years ago
- Native Erlang library for KerberosV and GSS-API☆13Updated last week
- A wrapper for tracing test runs using TTB☆16Updated 9 months ago
- Erlang reltool utility functionality application☆26Updated 9 months ago
- An Erlang/OTP library to mock registered processes☆15Updated 5 months ago
- An Erlang implementation of the Branca specification for authenticated and encrypted tokens☆12Updated 3 years ago
- Erlang Alsa (libasound2) bindings☆10Updated 4 years ago
- A generic message buffer behaviour with pooling and back-pressure for Erlang/Elixir.☆18Updated last year
- An erlang ETS based rate limiter inspired by Jobs☆16Updated 3 years ago
- Dynamic configuration in your erlang application☆15Updated 7 years ago
- Libhydrogen bindings for Erlang☆20Updated 5 years ago
- A Building blocks for elixir CQRS segregated applications☆14Updated 5 years ago
- Additions to the Erlang maps module☆14Updated 11 months ago