LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

@trailofbits

Emilio López

@elopez · Rosario, Argentina

Followers

96

Public repos

74

Stars (recent)

2

Ecosystems

—

Projects

Repositories this builder owns.

Static Analyzer for Solidity

symbolic EVM evaluator. https://hevm.dev

Static analysis for GitHub Actions

Ethereum fuzz testing framework

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

nixpkgs

Nix Packages collection & NixOS

—

🍻 Default formulae for the missing package manager for macOS (or Linux)

No description.

State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.

Recent activity

Most recently pushed work.

elopez/slither
pushed 11d ago
elopez/hevm
pushed 3mo ago
elopez/zizmor
pushed 4mo ago
elopez/echidna
pushed 5mo ago