Alex Li
crabsatellite
Working on long-term things
Languages
Repos
111
Stars
1
Forks
7
Top Language
Java
Loading contributions...
Top Repositories
Fork: Ported to NeoForge 1.21.1 with bug fixes — PRs merged upstream (AlexModGuy/AlexsCaves)
SAT-based computation of multicolor Rado numbers for x + by = bz
Execution provenance protocol for AI agents — tamper-evident, third-party verifiable behavioral records. Hash chains (SHA-256) + Ed25519 signatures + JCS (RFC 8785). Zero dependencies, 202 tests.
Config files for my GitHub profile.
Code and data for: A Complete Computational Survey of Solution-Space Geometry in Circuit-SAT for 4-Input Boolean Functions
Code and results for 'Which Structural Constraints Are Learnable? A Regime Map for Discrete 3D Generative Models'
Repositories
111SAT-based computation of multicolor Rado numbers for x + by = bz
Execution provenance protocol for AI agents — tamper-evident, third-party verifiable behavioral records. Hash chains (SHA-256) + Ed25519 signatures + JCS (RFC 8785). Zero dependencies, 202 tests.
Config files for my GitHub profile.
Code and data for: A Complete Computational Survey of Solution-Space Geometry in Circuit-SAT for 4-Input Boolean Functions
Code and results for 'Which Structural Constraints Are Learnable? A Regime Map for Discrete 3D Generative Models'
First machine-verified formalization of the natural proofs barrier (Razborov-Rudich 1997) in Lean 4. Zero sorry obligations.
CL-DIAG: Diagnosing canonicalization leakage in supervised learning under group symmetry
Hamilton Cycles in the Noncrossing Partition Refinement Graph — companion code, data, and interactive proof explorer
Opt-NIA: A sequential portfolio strategy that improves Z3 SMT solver on nonlinear integer arithmetic by +2–4pp. Greedy seed selection, 6-tactic preprocessing, rigorous evaluation.
Fork: Ported to NeoForge 1.21.1 — PR open (MinecraftModDevelopmentMods/Extra-Golems)
Fork: Ported to NeoForge 1.21.1 — PR merged upstream (skyjay1/Nomadic-Tents)
Fork: Added Chinese localization — PR merged upstream (Mrbysco/ChocoCraft4)
Fork: Ported to 1.20.1 — PR merged upstream (skyjay1/Pelagic-Prehistory)
Fork: Ported to NeoForge 1.21.1 + DIY workbench recipe fix — 2 PRs merged upstream (skyjay1/Tanuki-Decor)
Fork: Fixed StructureStart crash in AvoidLandmarkModifier — PR merged upstream (TeamTwilight/twilightforest)
Fork: 1.21 port bug fixes, renderer/pathfinding/collision updates for Alex's Caves & Mobs — PRs merged upstream (AlexModGuy/Citadel)
Fork: Ported to NeoForge 1.21.1 with Citadel compatibility and rendering fixes — 4 PRs merged upstream (AlexModGuy/AlexsMobs)
Fork: Ported to NeoForge 1.21.1 with bug fixes — PRs merged upstream (AlexModGuy/AlexsCaves)
Minecraft mod that creates instant mirror-dimension copies of terrain for safe sandbox testing — supports up to 8 parallel mirrors with configurable radius
Minecraft mod that prevents leaf decay on a per-dimension basis using in-game commands — 3.8K+ downloads on CurseForge
Minecraft mod adding functional showers, bathtubs, and rubber ducks with buff-granting cores — official HotBath extension. 8K+ downloads on CurseForge.
Batch audio converter for Minecraft mod development — converts any audio format to mono .ogg with sample rate normalization and tick-length logging
Minecraft mod adding therapeutic bath fluids with healing, buffs, and temperature mod integrations — 1.8M+ downloads on CurseForge. Supports Forge 1.20.1 & NeoForge 1.21.1+
Automated Minecraft mod migration tool — currently supports Forge 1.20.1 to NeoForge 1.21.1 via a 5-pass transformation pipeline (text, AST, structural, build, resources)
RL-based Dynamic Algorithm Configuration for MaxSAT local search — PPO controller tunes clause-weighting parameters during NuWLS solving, achieving 10-19% improvement
The only Dockerfile linter that fixes what it finds. 80 rules, 51 auto-fixers, SARIF output, zero dependencies. Pure Python.
A Minecraft 1.20.1 Forge Mod, add a tool to find ores.
Learning track for cpp
No description provided.
No description provided.