Skip to content
View advancedresearcharray's full-sized avatar

Block or report advancedresearcharray

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. researcharray researcharray Public

    libdimfold — Lossless Dimensional Folding with Fermat Bridge. A C library for high-dimensional compression with mathematical proof of correctness.

    C

  2. afld-proof afld-proof Public

    Machine-verified proofs for lossless dimensional folding (Lean 4 + Mathlib). 91 theorems, zero sorry.

    Lean

  3. mex mex Public

    Forked from theDakshJaitly/mex

    Persistent project memory for AI coding agents. Structured scaffold + drift detection CLI.

    TypeScript

  4. ClawWork ClawWork Public

    Forked from clawwork-ai/ClawWork

    Client for OpenClaw — Connect ClawWork to your own OpenClaw and unlock 10x multi-session productivity.

    TypeScript

  5. kiwifs kiwifs Public

    Forked from kiwifs/kiwifs

    Markdown filesystem for agents and teams.

    Go

  6. advancedresearcharray advancedresearcharray Public

    GitHub profile