gabrielegenovese / chorer
A static analyser to generate Choreography Automata from Erlang source.
☆11Updated last week
Alternatives and similar repositories for chorer:
Users that are interested in chorer are comparing it to the libraries listed below
- An Erlang-specific fork of A Logical Clock for Static and Dynamic Systems☆22Updated 4 years ago
- The main repo of the FunLess Platform. An experimental FaaS platform made in Elixir with WebAssembly runtimes.☆39Updated 3 weeks ago
- erlqueue is a multiple writer, multiple reader bounded shared memory lock-free queue API for Erlang (through NIF) and C/C++.☆10Updated 8 years ago
- SecEr: Erlang Code Evolution Control Tool☆12Updated 2 years ago
- A simple pretty printer for Erlang's External Term Format☆27Updated 5 months ago
- Grimsby is an Erlang Port written in Rust that can close its standard input while retaining standard output (and error)☆14Updated 4 months ago
- exerl☆12Updated last week
- Rebar3 plugin to build Rust crates☆21Updated 2 years ago
- High-Performance Erlang Memcached Client☆16Updated 3 years ago
- Bluetooth api for Erlang☆15Updated 2 years ago
- An Erlang Tuple Space implementation☆9Updated last month
- Erlang Memory Mapped Files☆34Updated 3 months ago
- SEMVER library for Erlang☆8Updated last year
- An Erlang Operating System for x86☆13Updated 5 months ago
- Rebar3 plugin to build Rust crates (unmaintained). See https://github.com/filmor/rebar3_rust/tree/update for more recent work.☆9Updated 6 years ago
- A runtime verification tool for Erlang systems☆15Updated last year
- An erlang ETS based rate limiter inspired by Jobs☆16Updated 3 years ago
- Master thesis on developing a static type checker for Erlang☆27Updated 6 years ago
- Rebar3 plugin to generate CycloneDX SBoM☆10Updated 5 months ago
- Build and Packaging Working Group☆20Updated 3 weeks ago
- An Erlang implementation of the Secure Scuttlebutt protocol☆18Updated 5 years ago
- A logging handler that can transforms structured logs into opencensus distributed tracing spans☆25Updated 5 years ago
- Choreographic programming in Elixir☆24Updated this week
- Git Library for Erlang☆10Updated 5 years ago
- Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)☆11Updated 3 years ago
- An Erlang binding to libdbus☆12Updated 2 years ago
- An Erlang library pertaining to consensus democracy, including Condorcet voting☆10Updated 2 months ago
- My own blog engine. It's been held together with duct tape since 2010☆11Updated 4 years ago
- Constant pool cache for Erlang for massive data☆10Updated 5 years ago
- Type Safe Erlang☆12Updated 7 years ago