Pinned Loading

1. soma soma Public

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

   Lean 74 1

2. lotus lotus Public

   🪷 | A low-level dependently-typed programming language and proof assistant with aliased dependent mutation.

   Rust 5 1

3. akasha akasha Public

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

   Rust 3

4. altaria altaria Public

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

   Rust 3 1

5. lapis lapis Public

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

   Lean 7

6. lexeme lexeme Public

   📖 | Command-line tool for searching through dictionaries across 400+ languages.

   Rust 3