LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Builder

Matthew McQuaid

I like type theory and functional programming languages

Followers

47

Public repos

23

Stars (recent)

4

Ecosystems

1

Projects

Repositories this builder owns.

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Repository for the Lemur Certificate Manager

pr-comment-test

No description.

semgrep-testing

No description.

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

atd

Static types for JSON APIs

—

No description.

No description.

Recent activity

Most recently pushed work.

mmcqd/1lab
pushed 6mo ago
mmcqd/lemur
pushed 12mo ago
mmcqd/pr-comment-test
pushed 17mo ago
mmcqd/semgrep-testing
pushed 32mo ago