LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Builder

chriseth

@chriseth · Berlin

Followers

1.5K

Public repos

94

Stars (recent)

46

Ecosystems

—

Projects

Repositories this builder owns.

Verified Yul compiler and optimizer

1

Rust implementation of the Ethereum Virtual Machine.

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

The math library of Lean 4

3

No description.

Recent activity

Most recently pushed work.

chriseth/yulopt
pushed 1mo ago
chriseth/revm
pushed 2mo ago
chriseth/reth
pushed 2mo ago
chriseth/mathlib4
pushed 6mo ago

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

5

Binary to compose boolean circuits.

boolean-circuit

Library to work with boolean circuits including exporting and importing in various formats

Function synthesizer using interpolants