Colorful, geometric illustrations of birdsColorful, geometric illustrations of birds


Self-healing GUI for IoT and Desktop

Scenic is a GUI framework that is robust against errors and uses minimal resources. It's main design point is IoT style devices and also works well on Desktop computers, creating a true cross-platform UI standard.


Elixir is a dynamic, functional language for building scalable and maintainable applications.

Elixir runs on the Erlang VM, known for creating low-latency, distributed, and fault-tolerant systems. These capabilities and Elixir tooling allow developers to be productive in several domains, such as web development, embedded software,...

Learn more about elixir here
Black arrow pointing to the top right

The Beam

The Erlang Virtual Machine: BEAM

BEAM is the Erlang virtual machine used for executing Erlang code, just like the JVM is used for executing Java code. BEAM runs in an Erlang Node.

Learn more about the beam here
Black arrow pointing to the top right


Security is no excuse for bad performance

The benchmark for performance.
The world's most highly assured OS kernel.
Open source & community-supported under the seL4 Foundation.

Learn more about The seL4® here
Black arrow pointing to the top right