Popular repositories Loading

1. chrysopolis chrysopolis Public

   A (WIP) verified foundation for BEAM applications, based on NixOS and seL4.

   C 6 1

2. .github .github Public

   Building the future of distributed systems and declarative immutable infrastructure

3. pharos pharos Public

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

   Gleam

4. byzantine-systems.github.io byzantine-systems.github.io Public

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

   Gleam