8000 Alex-lop (Alexander Lopez) · GitHub
[go: up one dir, main page]
Skip to content
View Alex-lop's full-sized avatar
5 followers · 9 following

Sponsoring

@python
@1jehuang

Achievements

Achievement: Pair Extraordinairex2Achievement: Public SponsorAchievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: Pair Extraordinairex2Achievement: Public SponsorAchievement: Pull Sharkx2Achievement: YOLO

Highlights

  • Pro

Block or report Alex-lop

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be 8000 closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Alex-lop/README.md

Hey, I'm Alex ;)

I'm a junior at Northeastern studying CS + Math, really just trying to build something impactful that lends to the future of agents

Pinned Loading

  1. Graphene Graphene Public

    Trying to make the collaboration w/ agents better so you have an idea of what's going on with your agent

    Python

  2. Sieve Sieve Public

    Most clinical trials don’t stall because the drug doesn’t work. They stall because they can’t find enough patients. Sieve shows which eligibility criteria are to blame, before you launch

    Python

  3. RegLineage RegLineage Public

    Entry for the DataHub Hackathon

    Python 3

  4. Nemisis Nemisis Public

    Kills your worker after the money moves, replays the event, and proves whether an AI patch really survived the crash. Deterministic evidence, not model confidence.

    Python

  5. erdos-195-odd-difference erdos-195-odd-difference Public

    Partial progress on Erdős #195: a permutation of ℤ with no monotone 4-term AP of odd difference, formalized in Lean 4 (done with Claude)

    Lean

  6. erdos-197-bounded-lag erdos-197-bounded-lag Public

    Partial result on Erdős #197 (still open), verified in Lean 4: no two-set solution with both enumerations of eventual lag ratio below 2. Produced with Claude Opus 5.5.

    Lean

0