Carlos Campoy

DevRel & Product Lead | AI Verification Researcher | Author of 'Trust, But Verify' | Building tools for verifiable systems

New York City

Joined on Feb, 2018•41 repositories

Pull Requests

114

Code Reviews

6

Top Repositories

#

Repository

Stars

Forks

Issues (open)

Contributors

1

lospoy/OnePunchDev

1

0

0

-1

2

lospoy/bjj-focus-vue

1

0

0

-1

3

lospoy/pastWeather

0

0

0

-1

4

0

0

0

-1

5

lospoy/OnePunchDev-frontend

0

0

0

-1

6

lospoy/nodejs-and-express

0

0

0

-1

7

lospoy/NodeBench

0

0

0

-1

8

lospoy/node-configs

0

0

0

-1

9

lospoy/mother-test

0

0

0

-1

10

0

0

0

-1

Activity Feed (latest 1)

Description of `WatchEvent` isn't defined

Jun 16, 2025, 9:37 AM