OPFN is developing a radically simple exokernel and operating system. Our OS is an "operating function" and is defined as a pure function of its event input stream. The system is based on a principled restriction of lambda calculus using supercombinators.

We hypothesize that by extending typed functional programming to the entire OS environment, small teams will be able to outcompete Big Tech. Our system is fast, provides automatic durable execution, metaprogramming, and has been designed to run with almost no dependencies.

• Pallas: the exokernel and runtime

Reach us on the OPFN Telegram.