Here's a non-exaustive list of the projecs we currently maintain:
- Automata: A typed state-machine library for F# (and .NET), with Polly integrations and PostgreSQL/SQLite as an optional durable store.
- Chrysopolis: A verified foundation for BEAM applications, based on seL4, Nix and LionsOS.
- Eparch: A Gleam wrapper
for Erlang's
gen_statemandgen_event. - Ergon: A library to leverage newer PostgreSQL's temporality and Graph features for background job processing.
- Pacta: An experimental
library for "Session Types" in Gleam, built atop of Eparch and the
gen_statembehavior. - Pharos: A "plugin-based" monitor and alert manager for BEAM Nodes and Hosts.