Skip to content

@allofphysicsgraph Physics Derivation Graph

All

    Repositories list

    87 repositories

    • uptime-monitor

      Public
      from https://upptime.js.org/docs/get-started/
      Markdown
      •
      MIT License
      •0•1•0•0•Updated Oct 5, 2026Oct 5, 2026

    • ui_v8_website_flask_neo4j

      Public
      version 8 of the Physics Derivation Graph UI: a flask-based website with Neo4j property graph backend
      pythonflaskneo4j
      pythonflaskneo4jphysicspython3knowledge-graph
      Cypher
      •0•2•85•0•Updated Sep 25, 2026Sep 25, 2026

    • agentic-workflow

      Public
      agentic workflow
      Python
      •
      Creative Commons Zero v1.0 Universal
      •0•0•0•0•Updated Aug 1, 2026Aug 1, 2026

    • proofofconcept

      Public
      Physics Derivation Graph: mathematical connections among equations
      pythonhtmlgraphviz
      pythonhtmlgraphvizlatexgraphphysicsderivationinference-rulesphysics-derivation-graph
      Python
      •
      Other
      •6•21•19•0•Updated Jul 25, 2026Jul 25, 2026

    • lean-in-docker

      Public
      Lean in Docker
      Lean
      •
      Creative Commons Zero v1.0 Universal
      •0•0•0•0•Updated Jul 25, 2026Jul 25, 2026

    • pdg_essential_demo_jinja2

      Public
      jinja2 with Flask
      Makefile
      •0•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • pdg_essential_demo_flask_website

      Public
      Demo of Flask-based website in Docker
      Makefile
      •0•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • pdg_essential_demo_docker

      Public
      Demo of Docker
      Makefile
      •0•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • pdg_essential_demo_neo4j_and_flask

      Public
      Demo of Flask-based website with Neo4j
      0•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • pdg_essential_demo_flask_gunicorn

      Public
      flask + gunicorn minimal example
      Makefile
      •0•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • pdg_essential_demo_api

      Public
      Demo of Flask-based website with API
      Makefile
      •0•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • pdg_essential_demo_flask_gunicorn_nginx

      Public
      flask + gunicorn + nginx
      Makefile
      •0•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • pdg_essential_demo_flask_gunicorn_nginx_https

      Public
      flask + gunicorn + nginx with HTTPS certs
      Makefile
      •0•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • pdg_essential_demo_flask_gunicorn_nginx_googleauth

      Public
      flask + gunicorn + nginx with googleauth
      Python
      •0•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • pdg_essential_demo_flask_form_on_one_page

      Public
      PDG: how to use forms with Flask
      Makefile
      •0•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • pdg_essential_demo_flask_form_per_page

      Public
      PDG: how to use forms with Flask
      Python
      •0•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • physlibsearch

      Public
      Semantic search for PhysLib — the formal Lean 4 physics library. Find theorems and definitions using plain English.
      TypeScript
      •
      Other
      •2•0•0•0•Updated Apr 16, 2026Apr 16, 2026

    • Formal-Verification-of-the-Vlasov-Maxwell-Landau-Steady-State-Theorem

      Public
      OpenClaw-style theorem proving: Formal Verification of the Vlasov-Maxwell-Landau Steady-State Theorem
      Lean
      •
      Other
      •6•0•0•0•Updated Mar 20, 2026Mar 20, 2026

    • latex-in-arxiv

      Public
      extract math latex from content in arxiv
      latex
      latex
      TeX
      •2•4•23•2•Updated Feb 11, 2026Feb 11, 2026

    • memgraph

      Public
      Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own. memgraph.com
      C++
      •
      Other
      •286•0•0•0•Updated Feb 3, 2026Feb 3, 2026

    • ui_v7_website_flask_json

      Public
      version 7 of the Physics Derivation Graph UI: a flask-based website with JSON backend
      pythonflaskjson
      pythonflaskjsongraphphysicspython3knowledge-graph
      HTML
      •0•0•1•0•Updated Feb 2, 2026Feb 2, 2026

    • orientdb

      Public
      OrientDB is the most versatile DBMS supporting Graph, Document, Reactive, Full-Text and Geospatial models in one Multi-Model product. OrientDB can run distribut…
      Java
      •
      Apache License 2.0
      •868•0•0•0•Updated Feb 2, 2026Feb 2, 2026

    • landgreen.github.io

      Public
      Landgreen's public site: physics notes, n-gon - https://landgreen.github.io/physics/notes/waves/waves/
      JavaScript
      •
      GNU General Public License v3.0
      •54•0•0•0•Updated Feb 2, 2026Feb 2, 2026

    • SciLean

      Public
      Scientific computing in Lean 4 - https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/SciLean.3A.20scientific.20computing.20with.20Lean
      Lean
      •
      Apache License 2.0
      •47•0•0•0•Updated Jan 31, 2026Jan 31, 2026

    • paperproof

      Public
      Lean theorem proving interface which feels like pen-and-paper proofs.
      TypeScript
      •
      MIT License
      •18•0•0•0•Updated Jan 31, 2026Jan 31, 2026

    • lean4

      Public
      Lean 4 programming language and theorem prover
      Lean
      •
      Apache License 2.0
      •1k•0•0•0•Updated Jan 31, 2026Jan 31, 2026

    • lean4-mathlib4

      Public
      The math library of Lean 4
      Lean
      •
      Apache License 2.0
      •1.7k•0•0•0•Updated Jan 31, 2026Jan 31, 2026

    • HepLean

      Public
      A project to digitalise results from high energy physics into Lean.
      Lean
      •
      Apache License 2.0
      •194•0•0•0•Updated Jan 31, 2026Jan 31, 2026

    • leanprover-community.github.io

      Public
      Hosts the website for mathlib and other Lean community infrastructure.
      CSS
      •
      MIT License
      •189•0•0•0•Updated Jan 31, 2026Jan 31, 2026

    • hol-light

      Public
      The HOL Light theorem prover
      OCaml
      •
      Other
      •100•0•0•0•Updated Jan 30, 2026Jan 30, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.