Repositories list

• uptime-monitor

  Public
  from https://upptime.js.org/docs/get-started/

  Markdown

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated May 5, 2026May 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+ 3

  pythonflaskneo4jphysicspython3knowledge-graph

  Cypher

  •00 forks•22 stars•6262 issues•00 pull requests•Updated May 2, 2026May 2, 2026

• physlibsearch

  Public
  Semantic search for PhysLib — the formal Lean 4 physics library. Find theorems and definitions using plain English.

  TypeScript

  •

  Other

  •11 fork•00 stars•00 issues•00 pull requests•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

  •55 forks•00 stars•00 issues•00 pull requests•Updated Mar 20, 2026Mar 20, 2026

• latex-in-arxiv

  Public
  extract math latex from content in arxiv

  latex

  latex

  TeX

  •11 fork•44 stars•2323 issues•22 pull requests•Updated Feb 11, 2026Feb 11, 2026

• pdg_essential_demo_flask_form_per_page

  Public
  PDG: how to use forms with Flask

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 3, 2026Feb 3, 2026

• pdg_essential_demo_flask_form_on_one_page

  Public
  PDG: how to use forms with Flask

  Makefile

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 3, 2026Feb 3, 2026

• proofofconcept

  Public
  Physics Derivation Graph: mathematical connections among equations

  pythonhtmlgraphviz+ 6

  pythonhtmlgraphvizlatexgraphphysicsderivationinference-rulesphysics-derivation-graph

  Python

  •

  Other

  •66 forks•2323 stars•1919 issues•00 pull requests•Updated Feb 3, 2026Feb 3, 2026

• memgraph

  Public
  Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own. memgraph.com

  C++

  •

  Other

  •222222 forks•00 stars•00 issues•00 pull requests•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+ 4

  pythonflaskjsongraphphysicspython3knowledge-graph

  HTML

  •00 forks•00 stars•11 issue•00 pull requests•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

  •872872 forks•00 stars•00 issues•00 pull requests•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

  •5353 forks•00 stars•00 issues•00 pull requests•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

  •3838 forks•00 stars•00 issues•00 pull requests•Updated Jan 31, 2026Jan 31, 2026

• paperproof

  Public
  Lean theorem proving interface which feels like pen-and-paper proofs.

  TypeScript

  •

  MIT License

  •1717 forks•00 stars•00 issues•00 pull requests•Updated Jan 31, 2026Jan 31, 2026

• lean4

  Public
  Lean 4 programming language and theorem prover

  Lean

  •

  Apache License 2.0

  •829829 forks•00 stars•00 issues•00 pull requests•Updated Jan 31, 2026Jan 31, 2026

• lean4-mathlib4

  Public
  The math library of Lean 4

  Lean

  •

  Apache License 2.0

  •1.3k1.3k forks•00 stars•00 issues•00 pull requests•Updated Jan 31, 2026Jan 31, 2026

• HepLean

  Public
  A project to digitalise results from high energy physics into Lean.

  Lean

  •

  Apache License 2.0

  •9898 forks•00 stars•00 issues•00 pull requests•Updated Jan 31, 2026Jan 31, 2026

• leanprover-community.github.io

  Public
  Hosts the website for mathlib and other Lean community infrastructure.

  CSS

  •

  MIT License

  •179179 forks•00 stars•00 issues•00 pull requests•Updated Jan 31, 2026Jan 31, 2026

• hol-light

  Public
  The HOL Light theorem prover

  OCaml

  •

  Other

  •9292 forks•00 stars•00 issues•00 pull requests•Updated Jan 30, 2026Jan 30, 2026

• combined_v7_JSON_and_v8_neo4j

  Public
  Flask, Neo4j, Gunicorn, Docker software for

  graphphysicsmathematics+ 1

  graphphysicsmathematicsderivation

  HTML

  •11 fork•11 star•00 issues•00 pull requests•Updated Jan 25, 2026Jan 25, 2026

• task-tracker

  Public
  no source code here

  00 forks•00 stars•151151 issues•00 pull requests•Updated Jan 25, 2026Jan 25, 2026

• manuscript-documentation-writeup

  Public
  writeup of Physics Derivation Graph using Latex

  BibTeX Style

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 23, 2026Jan 23, 2026

• lean-in-docker

  Public
  Lean in Docker

  Lean

  •

  Creative Commons Zero v1.0 Universal

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 24, 2025Nov 24, 2025

• latex-example-expressions

  Public
  test of latex as parsed by Sympy

  latexsympy

  latexsympy

  TeX

  •

  Creative Commons Zero v1.0 Universal

  •00 forks•00 stars•22 issues•11 pull request•Updated May 9, 2025May 9, 2025

• pdg_essential_demo_flask_gunicorn_nginx_googleauth

  Public
  flask + gunicorn + nginx with googleauth

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 8, 2025May 8, 2025

• pdg_essential_demo_flask_gunicorn_nginx_https

  Public
  flask + gunicorn + nginx with HTTPS certs

  Makefile

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 7, 2025May 7, 2025

• pdg_essential_demo_flask_gunicorn_nginx

  Public
  flask + gunicorn + nginx

  Makefile

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 7, 2025May 7, 2025

• pdg_essential_demo_flask_gunicorn

  Public
  flask + gunicorn minimal example

  Makefile

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 7, 2025May 7, 2025

• pdg_essential_demo_flask_website

  Public
  Demo of Flask-based website in Docker

  Makefile

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 7, 2025May 7, 2025

• pdg_essential_demo_docker

  Public
  Demo of Docker

  Makefile

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 7, 2025May 7, 2025