LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

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

@edgeandnode

Theo Butler

@Theodus

GitHub
Followers
74
Public repos
35
Stars (recent)
108
Ecosystems
1

Projects

Repositories this builder owns.

veemon
Verifiable Extraction Monorepo
—
jennet
A simple HTTP web framework written in Pony
94
quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
—
timeline-aggregation-protocol
A fast, efficient and trustless unidirectional micro-payments system.
—

Recent activity

Most recently pushed work.

  • Theodus/veemon
    pushed 9mo ago
  • Theodus/jennet
    pushed 11mo ago
  • Theodus/quint
    pushed 11mo ago
  • Theodus/timeline-aggregation-protocol
    pushed 13mo 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
subscription-payments
Prototype Contract for Subscription Payments
—
indexer-service-rs
Rewrite of indexer-service in Rust with Scalar TAP implementation
—
eip-712-derive
Easy EIP-712
—
theobutler-com
personal website
—