LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

@onechronos

Stephen Diehl

I build software.

Followers

3.4K

Public repos

168

Stars (recent)

342

Ecosystems

—

Projects

Repositories this builder owns.

Comment and trivia parsing and formatting for Rust LALR parsers

1

doing quantitative type theory for the lolz

2

My config files

A reference implementation of GPT-2 in Python, for teaching ML compilers

From the web

Pulled live from the official website.

Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

compiler-crates

Minimal examples of crates useful for compiler development

29

A toy compiler for NumPy array expressions that uses e-graphs and MLIR

From Zero to QED: An informal introduction to formality with Lean 4

Maranget's matrix algorithm for pattern match exhaustiveness and reachability

Recent activity

Most recently pushed work.

sdiehl/marginalia
pushed 11h ago
sdiehl/tiny-qtt
pushed 1d ago
sdiehl/dotfiles
pushed 1d ago
sdiehl/tiny-gpt2
pushed 1d ago