Pinned Loading

1. soma soma Public

   ⚗️ | λC pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.

   Lean 61 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. iris iris Public

   🎡 | A live messaging service built with Rust & Svelte and powered by raw WebSockets.

   Rust 7

5. lapis lapis Public

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

   Lean 3

6. kenosis kenosis Public

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

   Lean 1