Alternatives and similar repositories for chorer

Users that are interested in chorer are comparing it to the libraries listed below

• ferd / Interval-Tree-Clocks
  An Erlang-specific fork of A Logical Clock for Static and Dynamic Systems
  ☆22Updated 5 years ago
• mistupv / cauder
  A Causal-Consistent Reversible Debugger for Erlang
  ☆19Updated last year
• xinhaoyuan / morpheus
  Erlang Sandboxing for Reliable and Scalable Concurrency Testing
  ☆23Updated 5 years ago
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆34Updated last year
• nachivpn / mt
  Master thesis on developing a static type checker for Erlang
  ☆27Updated 7 years ago
• kafka4beam / kflow
  A DSL for processing Kafka data streams in pure Erlang
  ☆11Updated 4 years ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆60Updated 4 months ago
• harp-project / Core-Erlang-Formalization
  ☆12Updated last week
• garazdawi / syslogger
  An Erlang/OTP logger handler for syslog
  ☆22Updated last year
• vrnithinkumar / ETC
  ETC
  ☆15Updated 4 years ago
• helium / ebus
  An Erlang binding to libdbus
  ☆13Updated 3 years ago
• shortishly / grimsby
  Grimsby is an Erlang Port written in Rust that can close its standard input while retaining standard output (and error)
  ☆14Updated last year
• msantos / erpcgen
  RPC/XDR protocol compiler (from jungerl)
  ☆14Updated 6 years ago
• zwizwa / erl_tools
  Misc Erlang Tools
  ☆10Updated last year
• goncalotomas / FMKe
  🛠️ Realistic benchmark for key value stores
  ☆24Updated 4 years ago
• tonyrog / bt
  Bluetooth api for Erlang
  ☆15Updated 3 years ago
• mini-monkey / mini-monkey
  MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.
  ☆12Updated 4 years ago
• k32 / Lee
  THIS IS A WORK OF FICTION AND NOT an extensible, self-documenting, type-safe configuration manager for Erlang
  ☆18Updated 10 months ago
• schnef / axolotl
  An Erlang implementation of the Axolotl ratcheting forward secrecy protocol that works in synchronous and asynchronous messaging environm…
  ☆18Updated 6 years ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆87Updated 7 months ago
• voltone / rebar3_sbom
  Rebar3 plugin to generate CycloneDX SBoM
  ☆10Updated last year
• tamarit / pn_suite
  A suite of tools for Petri Nets
  ☆13Updated 3 years ago
• helium / erlang-splicer
  Splice 2 sockets together in Erlang
  ☆11Updated 3 years ago
• processone / pkix
  PKIX certificates management for Erlang
  ☆12Updated last year
• michallepicki / suber
  Algebraic Subtyping typechecking algorithms implemented in Erlang
  ☆10Updated 4 years ago
• schnef / hkdf
  Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)
  ☆12Updated 3 years ago
• linkdd / letlang
  Functional language with a powerful type system.
  ☆172Updated last year
• lrascao / raterl
  An erlang ETS based rate limiter inspired by Jobs
  ☆16Updated 4 years ago
• mistupv / rev-erlang
  An implementation of the reversible semantics for Erlang.
  ☆13Updated 8 years ago
• msantos / inert
  An Erlang library for notification of events on file descriptors
  ☆21Updated last year