LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Builders

Builder

Ting-gian LUA

Into CS, maths, and linguistics.

GitHub
Followers
224
Public repos
101
Stars (recent)
199
Ecosystems
1

Projects

Repositories this builder owns.

agda-mode-vscode
agda-mode on VS Code
184
skills
No description.
—
rescript-vscode
ReScript bindings for the VS Code API
13
agda-library-proxy
Gonna upload Agda library releases here. Screw GitHub's CORS policy.
—
bench
No description.

Recent activity

Most recently pushed work.

  • banacorn/agda-mode-vscode
    pushed 10d ago
  • banacorn/skills
    pushed 2mo ago
  • banacorn/rescript-vscode
    pushed 3mo ago
  • banacorn/agda-library-proxy
    pushed 8mo ago

Connected narratives

AI AgentsConsumer CryptoSocialFiStablecoinsAgent CommerceOnchain Apps

Related builders

Others building in the same ecosystem.

Jesse Pollak
1.3K followers
0xDeployer
— followers
Xen
— followers
Ahaan Raizada
— followers
Youssef
— followers
Igor Yuzo
— followers
—
agda-language-server
Language Server for Agda
—
agda-wasm-dist
Distributions of Agda executable compiled into WebAssembly.
—
galois-field
Finite field and algebraic extension field arithmetic
—