gabrielegenovese / chorerView external linksLinks
A static analyzer to generate Choreography Automata from Erlang source.
☆12Dec 30, 2025Updated last month
Alternatives and similar repositories for chorer
Users that are interested in chorer are comparing it to the libraries listed below
Sorting:
- Generate a static HTML listing of a directory, similarly to those produced by Apache or lighthttpd.☆10May 16, 2024Updated last year
- generate a diagram architecture from kubernetes manifests☆25Sep 1, 2024Updated last year
- convert docker compose to nomad configuration☆15Nov 11, 2023Updated 2 years ago
- A Causal-Consistent Debugger for (Core) Erlang☆18Jul 8, 2021Updated 4 years ago
- A Causal-Consistent Reversible Debugger for Erlang☆19Oct 5, 2024Updated last year
- The main repo of the FunLess Platform. An experimental FaaS platform made in Elixir with WebAssembly runtimes.☆47Jan 28, 2025Updated last year
- Una lista di awesome communities in Sicilia☆26Oct 13, 2021Updated 4 years ago
- CADO: Capability DO (like a sudo providing users with just the capabilities they need)☆45Dec 12, 2025Updated 2 months ago
- Provides a simple way to queue and dispatch events to subscribers.☆12Aug 27, 2025Updated 5 months ago
- Arduino library for the Pololu L3G4200D carrier board (deprecated; replaced by https://github.com/pololu/L3G)☆20Jul 6, 2012Updated 13 years ago
- Orchestrator managing Erlang containers and routing Erlang Distribution through itself.☆13Dec 19, 2025Updated last month
- Simple synergy client that uses uinput for mouse and keyboard control.☆10May 20, 2013Updated 12 years ago
- A tool for design pattern recognition on blockchain through static code analysis☆10Jun 8, 2024Updated last year
- Rebar3 plugin to generate CycloneDX SBoM☆11Feb 10, 2026Updated last week
- PKIX certificates management for Erlang☆12Jun 27, 2024Updated last year
- MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.☆12Jan 27, 2021Updated 5 years ago
- Erlang interface for controlling Unix processes☆15May 28, 2023Updated 2 years ago
- ☆13Feb 3, 2026Updated 2 weeks ago
- ACME client library for Erlang☆12Jan 19, 2026Updated 3 weeks ago
- Exploring Methods of Protecting Confidential Erlang Workloads with Intel SGX☆12Jun 19, 2020Updated 5 years ago
- A build system from the future 🖖☆22May 28, 2023Updated 2 years ago
- Diesel support for citext extension☆11Aug 17, 2020Updated 5 years ago
- A home automation lib that works with Home Assistant. Created in and for Gleam Lang.☆12Updated this week
- ProxyConf is a control plane for Envoyproxy that simplifies and secures API management in enterprise environments. It leverages the OpenA…☆15Aug 21, 2025Updated 5 months ago
- Basic support for crdt types in ecto☆11Oct 29, 2020Updated 5 years ago
- Rebar3 plugin wrapper around TypEr☆12Oct 30, 2024Updated last year
- 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
- Generic embedded distributed request rate limiting service for erlang applications☆10Mar 7, 2016Updated 9 years ago
- ヘッダーベース HTTP API フレームワーク☆14Nov 6, 2025Updated 3 months ago
- A basic example of writing a VerneMQ plugin in Elixir☆11Sep 27, 2018Updated 7 years ago
- An implementation of a Bitcoin Blockchain resolver for SPV over UDP DNS☆11Dec 9, 2017Updated 8 years ago
- An Erlang source code tokenizer written in Rust.☆11Jan 13, 2026Updated last month
- Study of US electrical grid. Build models for predicting demand based on weather.☆11Jul 19, 2024Updated last year
- VerneMQ on Kubernetes - Auto Discovery Cluster☆12Jul 7, 2016Updated 9 years ago
- A blazing fast, MT-safe, lockfree and branchless circular byte buffer for SPSC in 50 loc☆12Sep 16, 2025Updated 5 months ago
- ☆11Nov 3, 2021Updated 4 years ago
- Erlang SSH Subsystem for Nerves firmware updates☆13Feb 3, 2026Updated 2 weeks ago
- A FoundationDB backend plugin for mnesia, based on mnesia_rocksdb☆12Dec 1, 2020Updated 5 years ago
- erlqueue is a multiple writer, multiple reader bounded shared memory lock-free queue API for Erlang (through NIF) and C/C++.☆10Sep 14, 2016Updated 9 years ago