viktoriafordos / ew20View external linksLinks
Prototype implementation of the security analysis introduced in V. Fördős: Secure Design and Verification of Erlang Systems paper
☆12Aug 13, 2021Updated 4 years ago
Alternatives and similar repositories for ew20
Users that are interested in ew20 are comparing it to the libraries listed below
Sorting:
- MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.☆12Jan 27, 2021Updated 5 years ago
- KSUID generation and manipulation in Erlang.☆11Jul 26, 2022Updated 3 years ago
- A Causal-Consistent Debugger for (Core) Erlang☆18Jul 8, 2021Updated 4 years ago
- ☆18Oct 15, 2025Updated 4 months ago
- Simple Erlang's logger's formatters wrapper that adds colours to the messages☆15Aug 11, 2020Updated 5 years ago
- A Matrix Library for Erlang in Erlang☆17Oct 10, 2023Updated 2 years ago
- ☆20Jul 23, 2025Updated 6 months ago
- Curated BEAM language libraries by category☆27Jan 23, 2024Updated 2 years ago
- Erlang PostgreSQL Logical streaming replication library☆22Feb 17, 2023Updated 2 years ago
- An Erlang Tuple Space implementation☆10Nov 22, 2025Updated 2 months ago
- Blurhash in Erlang☆11Mar 5, 2023Updated 2 years ago
- SecEr: Erlang Code Evolution Control Tool☆12Jul 26, 2022Updated 3 years ago
- exerl☆16Feb 12, 2025Updated last year
- Erlang reltool utility functionality application☆26Feb 16, 2024Updated 2 years ago
- Kademlia based Mainline DHT implementation☆13Apr 15, 2021Updated 4 years ago
- Libhydrogen bindings for Erlang☆20Feb 10, 2019Updated 7 years ago
- Bluetooth api for Erlang☆15Dec 22, 2025Updated last month
- A model of a distributed Erlang network within a single VM.☆14Mar 21, 2023Updated 2 years ago
- ☆17Dec 5, 2020Updated 5 years ago
- Alternative application controller for Erlang/OTP☆30Jan 25, 2024Updated 2 years ago
- An Erlang library for notification of events on file descriptors☆21Jun 14, 2024Updated last year
- An in-memory caching server for Erlang☆20Jan 27, 2025Updated last year
- A few thought experiments solidified as code.☆22Updated this week
- Small matrix library for Erlang.☆24Aug 15, 2023Updated 2 years ago
- A generic, in-memory caching application based on ETS.☆32May 5, 2025Updated 9 months ago
- High-performance, concurrent, and mutable Cuckoo Filter for Erlang and Elixir☆48Nov 19, 2024Updated last year
- A rebar plugin for running custom commands☆16Jun 14, 2021Updated 4 years ago
- A port of Erlang/OTP to uClinux for processors without an MMU (micro controllers and DSP chips)☆14Aug 24, 2015Updated 10 years ago
- An erlang ETS based rate limiter inspired by Jobs☆16Jul 13, 2021Updated 4 years ago
- Cutting the Gordian knot of blocking calls between OTP processes☆18Oct 14, 2018Updated 7 years ago
- ☆31Aug 20, 2022Updated 3 years ago
- A tool for rapid profiling of Erlang and Elixir applications☆39Dec 2, 2021Updated 4 years ago
- An Erlang/OTP logger handler for syslog☆23Aug 12, 2024Updated last year
- An Erlang implementation of the Axolotl ratcheting forward secrecy protocol that works in synchronous and asynchronous messaging environm…☆18Aug 10, 2019Updated 6 years ago
- Dependency Updater for rebar3-based Erlang Projects☆21May 16, 2025Updated 9 months ago
- A Native Erlang Library of CRC Algorithms.☆20Feb 18, 2021Updated 4 years ago
- Erlang interface to eBPF☆56Sep 22, 2023Updated 2 years ago
- Erlang Memory Mapped Files☆38Mar 17, 2025Updated 10 months ago
- Erlang Process Pools as a Local Variable☆21Oct 26, 2023Updated 2 years ago