Pinned Loading

1. soma soma Public

   ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.

   Lean 68 1

2. akasha akasha Public

   📜 | Pure functional and async database engine written in Rust. Lightweight and experimental, made for academic purposes

   Rust 3

3. altaria altaria Public

   🌌️ | Altaria is an asynchronous, memory-safe, lightweight and blazingly fast http server framework written in Rust

   Rust 3 1

4. lapis lapis Public

   ✏️ | A cutting-edge, concurrent & performant Language Server Protocol (LSP) framework for Lean 4.

   Lean 7

5. asha-os/asha asha-os/asha Public

   🪐| A JIT-native operating system with formally verified programs

   Rust 4

6. kenosis kenosis Public

   🕊️ | An ergonomic serialization/deserialization library for Lean 4.

   Lean 1