@igalia

Paulo Matos

Igalian working on FEX-Emu, Proud Father of 2, AWA IRONMAN Triathlete. Uke Player - Aspiring Pianist.

GitHub @pocmatos Website

Followers

117

Public repos

200

Stars (recent)

Ecosystems

Projects

Repositories this builder owns.

s11

A personal experiment.

—

forseti

Forseti — a formal verifier (ESBMC) inside the agent coding loop: write → verify → counterexample → fix. Q.E.D. is the new LGTM.

—

l-site

Personal website for Linus - elite young badminton player

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

jsse

An agent-coded JS engine in Rust. I didn't touch a single line of code here. Not one. This repo is a write-only data store. I didn't even create this repo by hand -- my agent did that.

Projects

Connected narratives

Related builders

Recent activity