Popular repositories Loading

1. luxas luxas Public

   An autonomous research colleague — from a question to a compiled manuscript, while you sleep.

   TypeScript 161 18

2. MS-gate-simulation MS-gate-simulation Public

   Mathematica 1

3. provref provref Public

   Build-time validator that stops AI agents from hallucinating numbers in LaTeX papers. Every numerical claim must reference a verified entry in a JSON file.

   TypeScript 1

4. can-llm-write-browser-harness can-llm-write-browser-harness Public

   Can an LLM write browser-harness? A 12-agent experiment on writer-reviewer convergence loops, benchmarked against browser-harness.

   Python 1

5. hello-world hello-world Public

   This is the first repository of Mu in GitHub

6. Frequency-comb-DPLL Frequency-comb-DPLL Public

   Forked from jddes/Frequency-comb-DPLL

   Digital Phase-locked-loop software for Locking a Frequency Comb using a Red Pitaya

   VHDL