LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

@TNG Technology Consulting GmbH

Tim Baumann

Interested in type theory, category theory and concurrent collaborative editing.

Followers

216

Public repos

140

Stars (recent)

99

Ecosystems

1

Projects

Repositories this builder owns.

Exploring metaprogramming and widgets in Lean by coding a todo list

timjb.github.io

My personal website

My config files.

7

The official repository for the .NET Aspire documentation—describing a set of tools, templates, and packages for building observable, production ready apps.

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

Samples using AI and Azure SQL DB

Chinese Checkers Haskell library, GUI application and Telegram bot

diagrams-rubiks-cube

Haskell library for drawing the Rubik's Cube

Functors, Applicatives, Traversables etc. of kind (k -> *) -> *

Recent activity

Most recently pushed work.

timjb/lean-todos
pushed 2mo ago
timjb/timjb.github.io
pushed 3mo ago
timjb/dotfiles
pushed 3mo ago
timjb/docs-aspire
pushed 9mo ago