Pinned Loading

1. chrysopolis chrysopolis Public

   A verified foundation for BEAM applications, based on seL4, Nix and LionsOS.

   C 13 2

2. automata automata Public

   A typed state-machine library for F# (and .NET), with Polly integrations and PostgreSQL/SQLite as an optional durable store

   F# 4

3. eparch eparch Public

   Gleam-friendly types for some useful Erlang/OTP behaviours (like gen_statem & gen_event)

   Gleam 2

4. ergon ergon Public

   A library to leverage newer PostgreSQL's temporality and Graph features for background job processing

   Erlang

5. byzantine-systems.github.io byzantine-systems.github.io Public

   A blogatto-based Gleam static website, with Emacs orgmode support

   Gleam

6. presentations presentations Public

   A generic place that hosts org-based presentations in different conferences, with a Nix devenv

   Emacs Lisp