LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Builder

Ching-Tsun Chou

@ctchou · SF Bay Area

Followers

14

Public repos

12

Stars (recent)

34

Ecosystems

—

Projects

Repositories this builder owns.

A Lean library for Computer Science

Automata theory in Lean

My Lean playground

1

Scripts for organizing and displaying x86 instruction encoding information in XED

6

ctchou.github.io

Ching-Tsun Chou's Github Pages

Recent activity

Most recently pushed work.

ctchou/cslib
pushed 23h ago
ctchou/AutomataTheory
pushed 3mo ago
ctchou/my_lean
pushed 5mo ago
ctchou/xed_utils
pushed 7mo ago

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

1

The math library of Lean 4

Lecture notes and exercises for the 2025 Simons Foundation workshop "Lean for Mathematicians"

python-blueprint

🐍 Example Python project using best practices 🥇