gabrielegenovese / chorerLinks
A static analyzer to generate Choreography Automata from Erlang source.
☆12Updated last week
Alternatives and similar repositories for chorer
Users that are interested in chorer are comparing it to the libraries listed below
Sorting:
- A little APL for the BEAM☆14Updated 3 years ago
- ETC☆15Updated 4 years ago
- Grimsby is an Erlang Port written in Rust that can close its standard input while retaining standard output (and error)☆15Updated last year
- An Erlang/OTP logger handler for syslog☆23Updated last year
- An Erlang-specific fork of A Logical Clock for Static and Dynamic Systems☆23Updated 5 years ago
- MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.☆12Updated 4 years ago
- THIS IS A WORK OF FICTION AND NOT an extensible, self-documenting, type-safe configuration manager for Erlang☆19Updated last month
- An Erlang Operating System for x86☆20Updated 3 months ago
- A Causal-Consistent Reversible Debugger for Erlang☆19Updated last year
- A runtime verification tool for Erlang systems☆16Updated last year
- Master thesis on developing a static type checker for Erlang☆27Updated 7 years ago
- Robot Operating System in Erlang☆19Updated 3 years ago
- exerl☆16Updated 11 months ago
- An alternative implementation of Erlang TLS layer with ssl hardware acceleration☆13Updated 3 years ago
- ☆12Updated 2 weeks ago
- Rebar3 plugin to generate CycloneDX SBoM☆11Updated 3 weeks ago
- common runtime environment for distributed programming languages☆22Updated 11 months ago
- An Erlang implementation of the Axolotl ratcheting forward secrecy protocol that works in synchronous and asynchronous messaging environm…☆18Updated 6 years ago
- Libhydrogen bindings for Erlang☆20Updated 6 years ago
- Rufus is a programming language for people that build and operate fault tolerant systems.☆33Updated 4 months ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Updated 6 years ago
- Static typechecker for Erlang☆58Updated 3 weeks ago
- Bluetooth api for Erlang☆15Updated 3 weeks ago
- A scriptable autotuning load generator for MQTT☆18Updated last month
- Dependency Updater for rebar3-based Erlang Projects☆21Updated 7 months ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Updated 4 years ago
- ☆24Updated 8 months ago
- An Erlang C Node implemented with Zig☆12Updated 2 years ago
- ☆10Updated 4 years ago
- Native Erlang implementation of OPCUA☆26Updated 2 years ago