Gabriel SrGaabriel

• Purdue University

Organizations

Pinned Loading

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

   Lean 65 1

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

   Rust 3

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

   Rust 3 1

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

   Lean 7

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

   Rust 4

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

   Lean 1