Skip to content
View ipitchford's full-sized avatar

Block or report ipitchford

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. 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

Popular repositories Loading

  1. hermes-workspace hermes-workspace Public

    Forked from outsourc-e/hermes-workspace

    Native web workspace for Hermes Agent — chat, terminal, memory, skills, inspector.

    TypeScript 2

  2. z20-cochromatic z20-cochromatic Public

    CC0 candidate proofs for z(20)=6 and VR2(K4)=20, with replayable certificates and AI-readable indexes

    TeX

  3. degree-difference-affine-slices degree-difference-affine-slices Public

    CC0 candidate manuscript on degree-difference identities and affine slices, with exact symbolic verification

    TeX

  4. exotic-affine-spheres-quadratic-cubic exotic-affine-spheres-quadratic-cubic Public

    CC0 unrefereed candidate sequel on exotic affine three-spheres and the quadratic-cubic obstruction, with exact symbolic and finite-field checks

    TeX

  5. erdos-848-all-n erdos-848-all-n Public

    CC0 unrefereed candidate all-N determination for Erdős Problem 848, with replayable exact certificates and AI-readable evidence maps

    Python

  6. reducible-incidence-divisors-affine-slices reducible-incidence-divisors-affine-slices Public

    CC0 unrefereed candidate on reducible incidence divisors and affine slices of binary-form factorisation spaces, with exact audit artefacts

    TeX