LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

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

Builder

Martin Kellogg

Assistant Professor at the New Jersey Institute of Technology. I work on making software verification practical for developers.

GitHubWebsite
Followers
63
Public repos
114
Stars (recent)
78
Ecosystems
1

Projects

Repositories this builder owns.

martinjkellogg.com
my website
—
checker-framework
Pluggable type-checking for Java
—
paper-template
No description.
4
div-by-zero-checker
No description.
2

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
printer-prep
Simple python script for preparing student-submitted slide decks for printing that avoids slides with dark backgrounds
—
cs-490-website
No description.
—
calc
AI generated calculator example app
—
ai-tinder-pr26
No description.
—

Recent activity

Most recently pushed work.

  • kelloggm/martinjkellogg.com
    pushed 1d ago
  • kelloggm/checker-framework
    pushed 2d ago
  • kelloggm/paper-template
    pushed 8d ago
  • kelloggm/div-by-zero-checker
    pushed 13d ago