LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

CMU

Steve Awodey

@awodey · Pittsburgh PA

Followers

276

Public repos

16

Stars (recent)

154

Ecosystems

—

Projects

Repositories this builder owns.

Mathematical notes and papers

awodey.github.io

Steve Awodey's GitHub pages

6

higher realizability topos

8

No description.

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

Stein

Collected papers of Howard Stein

—

Categorical Logic Notes

realizability oo-topos

Recent activity

Most recently pushed work.

awodey/math
pushed 1d ago
awodey/awodey.github.io
pushed 8d ago
awodey/HRT
pushed 12mo ago
awodey/joyal
pushed 24mo ago