Repos for the Physics Derivation Graph (https://allofphysics.com) and associated software explorations.
Physics Derivation Graph
Physics Derivation Graph
- 3 followers
- United States of America
- https://derivationmap.net/
Pinned Loading
Repositories
Showing 10 of 85 repositories
- physlibsearch Public Forked from Kernel-Science/physlibsearch
Semantic search for PhysLib — the formal Lean 4 physics library. Find theorems and definitions using plain English.
allofphysicsgraph/physlibsearch’s past year of commit activity - ui_v8_website_flask_neo4j Public
version 8 of the Physics Derivation Graph UI: a flask-based website with Neo4j property graph backend
allofphysicsgraph/ui_v8_website_flask_neo4j’s past year of commit activity - Formal-Verification-of-the-Vlasov-Maxwell-Landau-Steady-State-Theorem Public Forked from Vilin97/Clawristotle
OpenClaw-style theorem proving: Formal Verification of the Vlasov-Maxwell-Landau Steady-State Theorem
allofphysicsgraph/Formal-Verification-of-the-Vlasov-Maxwell-Landau-Steady-State-Theorem’s past year of commit activity - memgraph Public Forked from memgraph/memgraph
Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own. memgraph.com
allofphysicsgraph/memgraph’s past year of commit activity - ui_v7_website_flask_json Public
version 7 of the Physics Derivation Graph UI: a flask-based website with JSON backend
allofphysicsgraph/ui_v7_website_flask_json’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…