Zayden-Jung
1 Followers · 3 Following
  • Joined on 2026-05-15
Repositories
49
 Projects Packages Public Activity Starred Repositories
Filter
Sort
exp-model-parameter-similarity
Python 0 0
Updated 2026-11-11 16:29:45 +00:00
paper-atlas
Python 0 0
Updated 2026-11-10 06:55:28 +00:00
argon-comic
Python 0 0
Updated 2026-11-04 17:05:24 +00:00
xiaohongshu-cover-ctr-analysis
Python 0 0
Updated 2026-11-04 17:05:21 +00:00
my-skills
Python 0 0
Updated 2026-11-04 17:05:21 +00:00
Endorphin-Document
Python 0 0
Updated 2026-11-04 16:54:18 +00:00
us-stock-index-drawdown-analysis
Python 0 0
Updated 2026-11-04 16:20:38 +00:00
syntax-dag-transformer
Python 0 0
Updated 2026-11-04 08:53:05 +00:00
lean-bench
Python 1 0
Provider-independent Lean reasoning lean-bench
Updated 2026-11-03 19:05:27 +00:00
lean-agent
Python 1 0
Provider-independent Lean reasoning lean-agent
Updated 2026-11-03 19:05:21 +00:00
autodl-gpu-runner-controller
Python 1 0
Updated 2026-11-03 19:05:02 +00:00
composable-evidence-states-research
Python 0 0
Updated 2026-10-01 17:13:55 +00:00
logic-skeleton-bench
Python 0 0
Updated 2026-09-23 02:35:59 +00:00
adcloud-server
Python 0 0
AdCloud tracking and ad delivery server for developers and coding agents; Python/FastAPI with uv
Updated 2026-09-22 13:34:06 +00:00
pk-lab-server
Python 0 0
Updated 2026-09-22 13:34:03 +00:00