Gabriel

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

deck. 🎲 A powerful and simple-to-use guilded API wrapper made in Kotlin. Currently outdated.

selene. 🍂｜Selene is a statically-typed, imperative and procedural programming language compiled to LLVM IR. The language of tranquil and serenity.

shuiqi. 📜 | A native GUI library written in Rust, designed specifically for 2D applications focused on responsiveness and performance.

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

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

clubs. ♣️ A flexible and powerful command framework with default Guilded API implementations using deck.

seren. 🚂 | A lightweight, statically-typed procedural and functional language that compiles to LLVM IR.

nexus. 🎠 A webserver using rbatis and actix-web at its core. My first rust project, made purely for learning purposes.

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

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

caissa. ♟️ | Classical chess implementation with Rust + Svelte. Native AI included and futurely multiplayer too

laozi. ⛩️ | Laozi is my first project in OCaml. The goal is to try to recreate SrGaabriel/selene to learn more about OCaml

nebula. ☁️ | A modern, lightweight and powerful organization app written in Rust, Gleam & Svelte.

ksp. 📚 Just a simple school website project for fun and training purposes only. Feel free to contribute!

glory. ⌚️ A simple and lacking guilded API wrapper. It's my first project with GoLang, made for purely learning purposes

atlanta. ✨ A simple-to-use discord wrapper made simply for learning purposes.

InternalLib. This is a Bukkit library that contains a lot of features to make your life easier. It was made in Maven.

axioms. 🔀 | OCaml implementation and exploration of Interaction Calculus, with a structured journey through the theory that underpins it.

learning_rust. My first project in rust, i wanted to share it here to compare my coding style in the future!

seeker. 🔍 | A parallel & blazing fast search engine for HTML documents written in Zig.

Foreground. BlueSky's API Wrapper

tachyon. 🚈 | A Minecraft server software prototype written in Rust. All packets are handled and parsed internally.

css-color-filter-generator. Generate custom css filter property to achieve any target color :art:

Elytra. A Cleanroom minecraft server API in kotlin

norin. 🌱 A test implementation of a Minecraft server using RESTful API taking advantage of the interoperability between Kotlin and Java.

furnace. 🔥 A compiler bot for guilded made in Kotlin using deck and godbolt API at its core.

engine. O melhor plugin de utilitários 100% open-source e gratuito brasileiro.

BrunetteKits. [WIP] A Kit GUI Minecraft plugin, built with Spigot API in version 1.15.2

DiscordInteraKTions. 👾 Kotlin Library for Receiving and Handling Discord Interactions via Web Servers

tree-sitter-soma. 🌲 | Tree sitter grammars for the Soma programming language

zed-soma. ⚡ | Official Zed extension for the Soma programming language

vscode-soma. ✨ | Official VS Code extension for the Soma programming language