1. Lam🚀 a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly
2. Caramel🍬 a functional language for building type-safe, scalable, and maintainable applications
4. hotstuff🔥 Composable, incremental, turnkey document compiler