Pinned Loading

1. grandchallenge/AETHER grandchallenge/AETHER Public

   Single-node semantic kernel for agentic coordination.

   Rust

2. LAXFORGE LAXFORGE Public

   Codex Imaginings: A gauge-aware discovery and audit engine for zero-curvature representations, Lax pairs, and integrable-system candidates.

   JavaScript

3. LAXCERT LAXCERT Public

   Lean4 companion specification for LAXFORGE

   Lean

4. PYTHIA_ANALYZE PYTHIA_ANALYZE Public

   Spectral analysis tooling for EleutherAI Pythia checkpoints.

   Python

5. iir2d iir2d Public

   2D IIR filters on gpu

   Python

6. LORA-MODULUS LORA-MODULUS Public

   LoRA-Muon paper-fidelity and TinyShakespeare replication harness

   Python