LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Université de Montréal, Canada

Mattéo Delabre

Ph.D. Student in Computer Science, passionate about teaching, free software, linguistics and typography.

GitHub @matteodelabre Website

Followers

137

Public repos

19

Stars (recent)

77

Ecosystems

1

Projects

Repositories this builder owns.

Projet de généalogie académique du DIRO (version beta)

Create diagrams to visualize cost landscapes for Pareto combinatorial optimization

Exploration and design of dynamic programming algorithms in an algebraic style

CSGames-2026-Preuve

Compétition de preuves assistées par ordinateur sur Lean4 / Computer-assisted proofs challenge using Lean4 (CS Games 2026)

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

discord-zulip-bridge

Discord <--> Zulip chat bridge!

Unofficial utility for configuring Shure MV7 microphones

Solving puzzles from the yearly Advent calendar of programming (2020, 2021, 2022, 2023)

Platform for running games of Dix opposing computer programs and/or humans

Recent activity

Most recently pushed work.

matteodelabre/geniro
pushed 28d ago
matteodelabre/mosaic
pushed 2mo ago
matteodelabre/padapto
pushed 2mo ago
matteodelabre/CSGames-2026-Preuve
pushed 3mo ago