Skip to content
@byzantine-systems

Byzantine Systems

Building the future of distributed systems and declarative immutable infrastructure
README.md

Byzantine Systems

Building the future of distributed systems and declarative immutable infrastructure

Pinned Loading

  1. chrysopolis chrysopolis Public

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

    C 11 2

  2. eparch eparch Public

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

    Gleam 2

  3. ergon ergon Public

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

    Erlang

  4. pacta pacta Public

    An experimental library for "Session Types" in Gleam, built atop of Eparch and gen_statem.

    Gleam

  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

Repositories

Showing 8 of 8 repositories
  • chrysopolis Public

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

    byzantine-systems/chrysopolis's past year of commit activity
    C 11 AGPL-3.0 2 9 0 Updated Sep 22, 2026
  • eparch Public

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

    byzantine-systems/eparch's past year of commit activity
    Gleam 2 LGPL-3.0 0 0 0 Updated Sep 20, 2026
  • presentations Public

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

    byzantine-systems/presentations's past year of commit activity
    Emacs Lisp 0 GPL-3.0 0 0 0 Updated Sep 18, 2026
  • pacta Public

    An experimental library for "Session Types" in Gleam, built atop of Eparch and gen_statem.

    byzantine-systems/pacta's past year of commit activity
    Gleam 0 LGPL-3.0 0 0 0 Updated Sep 5, 2026
  • byzantine-systems.github.io Public

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

    byzantine-systems/byzantine-systems.github.io's past year of commit activity
    Gleam 0 GPL-3.0 0 0 0 Updated Sep 1, 2026
  • pharos Public

    A "plugin-based" monitor and alert manager for BEAM Nodes and Hosts

    byzantine-systems/pharos's past year of commit activity
    Gleam 0 GPL-3.0 0 2 0 Updated Sep 1, 2026
  • ergon Public

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

    byzantine-systems/ergon's past year of commit activity
    Erlang 0 LGPL-3.0 0 0 0 Updated Sep 1, 2026
  • .github Public

    Building the future of distributed systems and declarative immutable infrastructure

    byzantine-systems/.github's past year of commit activity
    0 GPL-3.0 0 0 0 Updated Apr 25, 2026

Top languages

Loading…

Most used topics

Loading…