Popular repositories Loading

1. semantic-diffchecking semantic-diffchecking Public

   Lean 3

2. corpaci.github.io corpaci.github.io Public

   Place for braindumps

   HTML 1

3. ARCwhitebox ARCwhitebox Public

   Python 1

4. SpecDrift SpecDrift Public

   Code for When Specifications Drift: measuring semantic preservation across LLM representations of algebraic equations.

   Python 1

5. sky-wallpaper sky-wallpaper Public

   A dynamic, low-energy wallpaper for macOS and Windows: one rendered day of mountains, switched by the clock. No dependencies, nothing left running.

   C# 1

6. sair-competition-exploration sair-competition-exploration Public

   Python