Popular repositories Loading

1. hqiv-lean hqiv-lean Public

   Proving HQIV in LEAN

   Lean 2

2. pyhqiv pyhqiv Public

   Library for working in HQV Metric

   Python

3. disregardfiat-dot-tech disregardfiat-dot-tech Public

   Physics Showpiece – Clean static Vue.js website featuring interactive physics simulations, KaTeX equations, calculators, and textbook-style explanations.

   Vue

4. papers papers Public

   Papers

   TeX

5. orbital-calculator orbital-calculator Public

   An HQIV Implementation of Gravity and Inertia

   Python

6. hqiv-class hqiv-class Public

   CLASS and HiCLASS implementations

   C