LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Builder

Timo Carlin-Burns

I love to code and learn new languages!

Followers

50

Public repos

90

Stars (recent)

—

Ecosystems

1

Projects

Repositories this builder owns.

A bot that plays on the hanab.live interface, but in Rust.

A bot that plays on the hanab.live interface.

State of the art Hanabi bots + simulation framework in rust

Playing Sudoku in the Lean 4 proof assistant

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

—

Lean 4 programming language and theorem prover

Advent of Code 2023!

theorem_proving_in_lean4

Theorem Proving in Lean 4

Recent activity

Most recently pushed work.

timotree3/rust-bot
pushed 10mo ago
timotree3/hanabi-bot
pushed 11mo ago
timotree3/hanabi.rs
pushed 13mo ago
timotree3/LeanSudoku
pushed 20mo ago