LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Builder

waynee95

programmer. vim user. student

Followers

29

Public repos

35

Stars (recent)

6

Ecosystems

1

Projects

Repositories this builder owns.

Artemis - Interactive Learning with Automated Feedback

waynee95.github.io

my personal website

pandoc-letter-din5008

Pandoc template for writing Markdown letters (DIN 5008)

6

isabelle-hol-playground

No description.

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

my solutions for advent of code 2025

temporal-archive

Collection of definitions, lemmas, and theorems about temporal logics and automata for my personal use.

dafny-playground

No description.

collection of random cheatsheets

Recent activity

Most recently pushed work.

waynee95/Artemis
pushed 3mo ago
waynee95/waynee95.github.io
pushed 3mo ago
waynee95/pandoc-letter-din5008
pushed 4mo ago
waynee95/isabelle-hol-playground
pushed 4mo ago