LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

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

@plum-umd

David Van Horn

@dvanhorn · Washington, DC

GitHubWebsite
Followers
226
Public repos
36
Stars (recent)
107
Ecosystems
1

Projects

Repositories this builder owns.

terps
No description.
—
nanoda_lib
Library implementing type inference/checking functionality based on the Lean theorem prover
—
verified-compiler-notes
No description.
1
crook
No description.
—

Connected narratives

AI AgentsConsumer CryptoSocialFiStablecoinsAgent CommerceOnchain Apps

Related builders

Others building in the same ecosystem.

Jesse Pollak
— followers
0xDeployer
— followers
Xen
— followers
Ahaan Raizada
— followers
Youssef
— followers
Igor Yuzo
— followers
racket
The Racket repository
—
scribble
No description.
—
redex-aam-tutorial
An Introduction to Redex with Abstracting Abstract Machines
105
diagrama
A diagram drawing library for Racket
—

Recent activity

Most recently pushed work.

  • dvanhorn/terps
    pushed 2d ago
  • dvanhorn/nanoda_lib
    pushed 23d ago
  • dvanhorn/verified-compiler-notes
    pushed 2mo ago
  • dvanhorn/crook
    pushed 8mo ago