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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.☆12Jan 27, 2021Updated 5 years ago
- Erlang PostgreSQL Logical streaming replication library☆22Feb 17, 2023Updated 3 years ago
- A generic, in-memory caching application based on ETS.☆32May 5, 2025Updated 10 months ago
- exerl☆16Feb 12, 2025Updated last year
- KSUID generation and manipulation in Erlang.☆11Jul 26, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Erlang reltool utility functionality application☆26Feb 16, 2024Updated 2 years ago
- A Causal-Consistent Debugger for (Core) Erlang☆18Jul 8, 2021Updated 4 years ago
- An Erlang Tuple Space implementation☆10Nov 22, 2025Updated 4 months ago
- Curated BEAM language libraries by category☆29Jan 23, 2024Updated 2 years ago
- Alternative application controller for Erlang/OTP☆30Jan 25, 2024Updated 2 years ago
- Simple Erlang's logger's formatters wrapper that adds colours to the messages☆15Aug 11, 2020Updated 5 years ago
- An Erlang library for notification of events on file descriptors☆21Jun 14, 2024Updated last year
- SecEr: Erlang Code Evolution Control Tool☆12Jul 26, 2022Updated 3 years ago
- ☆17Dec 5, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆31Aug 20, 2022Updated 3 years ago
- ☆20Jul 23, 2025Updated 8 months ago
- Blurhash in Erlang☆11Mar 5, 2023Updated 3 years ago
- Bluetooth api for Erlang☆15Dec 22, 2025Updated 3 months ago
- Libhydrogen bindings for Erlang☆20Feb 10, 2019Updated 7 years ago
- ☆18Oct 15, 2025Updated 5 months ago
- Collection of utilities for trace-based testing☆45Jun 20, 2022Updated 3 years ago
- ☆14Nov 14, 2025Updated 4 months ago
- A model of a distributed Erlang network within a single VM.☆14Mar 21, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A semantic search tool for Erlang that supports large code-bases.☆49May 5, 2025Updated 10 months ago
- A Matrix Library for Erlang in Erlang☆17Oct 10, 2023Updated 2 years ago
- An in-memory caching server for Erlang☆20Jan 27, 2025Updated last year
- A tool for rapid profiling of Erlang and Elixir applications☆39Dec 2, 2021Updated 4 years ago
- A rebar plugin for running custom commands☆16Jun 14, 2021Updated 4 years ago
- Small matrix library for Erlang.☆24Aug 15, 2023Updated 2 years ago
- High-performance, concurrent, and mutable Cuckoo Filter for Erlang and Elixir☆48Nov 19, 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
- Kademlia based Mainline DHT implementation☆13Apr 15, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Orchestrator managing Erlang containers and routing Erlang Distribution through itself.☆13Dec 19, 2025Updated 3 months ago
- Erlang interface to eBPF☆56Sep 22, 2023Updated 2 years ago
- An erlang ETS based rate limiter inspired by Jobs☆16Jul 13, 2021Updated 4 years ago
- A Native Erlang Library of CRC Algorithms.☆20Feb 18, 2021Updated 5 years ago
- Cutting the Gordian knot of blocking calls between OTP processes☆18Oct 14, 2018Updated 7 years ago
- An Erlang/OTP logger handler for syslog☆23Aug 12, 2024Updated last year
- A collection of my Livebook notebooks.☆18Jul 1, 2023Updated 2 years ago