Popular repositories Loading

1. H2Q-Thermodynamic-Error-Mitigation H2Q-Thermodynamic-Error-Mitigation Public

   Quantum Advantage Tracker benchmark implementing patent-backed thermodynamic error mitigation for operator_loschmidt_echo_70x1872

   OpenQASM

2. quantum-advantage-tracker.github.io quantum-advantage-tracker.github.io Public

   Forked from quantum-advantage-tracker/quantum-advantage-tracker.github.io

   As claims of quantum advantage emerge, this project provides a platform-agnostic framework to collect, validate, and compare experimental results.

   OpenQASM

3. h2-coursekata-demo h2-coursekata-demo Public

   H² × Course Kata Research Platform: Interactive demo showing entropy-based learning state detection applied to Course Kata content for Professor James Stigler

4. Toni-Fibromyalgia Toni-Fibromyalgia Public

   Python

5. erdosproblems erdosproblems Public

   Forked from teorth/erdosproblems

   A community database for the problems on the erdosproblems.com site

   Python

6. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean