LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Builder

Daniel Weber

@Command-Master

Followers

5

Public repos

26

Stars (recent)

10

Ecosystems

—

Projects

Repositories this builder owns.

LLM inference in C/C++

equational_theories

A project to map out the relations between different equational theories of Magmas.

Lean 4 programming language and theorem prover

No description.

4

Recent activity

Most recently pushed work.

Command-Master/llama.cpp
pushed 4mo ago
Command-Master/equational_theories
pushed 13mo ago
Command-Master/lean4
pushed 19mo ago
Command-Master/lean-bourgain
pushed 21mo ago

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

No description.

—

Formalisation of the Kelley-Meka bound on Roth numbers

blockbench-plugins

Blockbench plugin management

Command-Master.github.io

Random github pages stuff