LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Builder

elseLuna

@elseLuna

Followers

—

Public repos

4

Stars (recent)

—

Ecosystems

1

Projects

Repositories this builder owns.

idris2-lsp-vscode

Visual Studio Code integration for the Idris 2 language server

Implementation of the Open Sound Control protocol in Godot using GDScript

idris2-filepath

Unix style file paths in Idris2

Language Server for Idris2

Recent activity

Most recently pushed work.

elseLuna/idris2-lsp-vscode
pushed 7mo ago
elseLuna/godOSC
pushed 15mo ago
elseLuna/idris2-filepath
pushed 21mo ago
elseLuna/idris2-lsp
pushed 25mo ago

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.