LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Builder

Robin Gloster

@globin · München

Followers

95

Public repos

97

Stars (recent)

4

Ecosystems

—

Projects

Repositories this builder owns.

bevy_file_dialog

File system dialogs for loading and saving files using the Bevy game engine

Server to host lean games.

The Lean 4 web editor

Nix Packages collection

airac-aixm-updater

No description.

Recent activity

Most recently pushed work.

globin/bevy_file_dialog
pushed 5mo ago
globin/lean4game
pushed 6mo ago
globin/lean4web
pushed 6mo ago
globin/nixpkgs
pushed 6mo ago

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

—

Visual Studio Code extension for the Lean 4 proof assistant

SC-election-2025

2025 Election for the Steering Committee

No description.