Repositories list

• dynamic-search

  Public
  search a graph using a webform

  javascripthtml

  HTML

  •

  GNU General Public License v3.0

  •1•0•1•1•Updated Jan 25, 2025Jan 25, 2025

• latex-example-expressions

  Public
  test of latex as parsed by Sympy

  sympylatex

  TeX

  •

  Creative Commons Zero v1.0 Universal

  •0•0•2•1•Updated Jan 25, 2025Jan 25, 2025

• ui_v8_website_flask_neo4j

  Public
  version 8 of the Physics Derivation Graph UI: a flask-based website with Neo4j property graph backend

  pythonflaskneo4j+ 3physicspython3knowledge-graph

  Cypher

  •0•0•35•0•Updated Jan 21, 2025Jan 21, 2025

• pdg_essental_demo_docker

  Public
  Demo of Docker

  Makefile

  •0•0•0•0•Updated Jan 20, 2025Jan 20, 2025

• pdg_essental_demo_neo4j_and_flask

  Public
  Demo of Flask-based website with Neo4j

  0•0•0•0•Updated Jan 20, 2025Jan 20, 2025

• pdg_essental_demo_api

  Public
  Demo of Flask-based website with API

  0•0•0•0•Updated Jan 20, 2025Jan 20, 2025

• pdg_essental_demo_flask_google_auth

  Public
  Demo of Flask-based website in Docker with Google Authentication

  0•0•0•0•Updated Jan 20, 2025Jan 20, 2025

• pdg_essental_demo_flask_website

  Public
  Demo of Flask-based website in Docker

  0•0•0•0•Updated Jan 20, 2025Jan 20, 2025

• gephi-lite

  Public
  A web-based, lighter version of Gephi

  TypeScript

  •

  GNU General Public License v3.0

  •22•0•0•0•Updated Jan 14, 2025Jan 14, 2025

• allofphysics.com

  Public
  Flask, Neo4j, Gunicorn, Docker software for

  graphphysicsmathematics+ 1derivation

  HTML

  •1•1•19•0•Updated Jan 12, 2025Jan 12, 2025

• lean-in-docker

  Public
  Lean in Docker

  Lean

  •

  Creative Commons Zero v1.0 Universal

  •0•0•0•0•Updated Jan 12, 2025Jan 12, 2025

• HepLean

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

  Lean

  •

  Apache License 2.0

  •9•0•0•0•Updated Jan 10, 2025Jan 10, 2025

• lean4-mathlib4

  Public
  The math library of Lean 4

  Lean

  •

  Apache License 2.0

  •367•0•0•0•Updated Jan 10, 2025Jan 10, 2025

• lean4

  Public
  Lean 4 programming language and theorem prover

  Lean

  •

  Apache License 2.0

  •453•0•0•0•Updated Jan 10, 2025Jan 10, 2025

• LeanChemicalTheories

  Public
  Lean

  •3•0•0•0•Updated Jan 10, 2025Jan 10, 2025

• awesome-llm-prompts

  Public
  This repo curates LLM prompts

  HTML

  •

  Creative Commons Zero v1.0 Universal

  •16k•0•0•0•Updated Jan 7, 2025Jan 7, 2025

• ui_v7_website_flask_json

  Public
  version 7 of the Physics Derivation Graph UI: a flask-based website with JSON backend

  pythonflaskjson+ 4graphphysicspython3knowledge-graph

  HTML

  •0•0•0•0•Updated Jan 7, 2025Jan 7, 2025

• allofphysicsgraph.github.io

  Public
  site for all of physics project

  HTML

  •0•0•0•0•Updated Jan 4, 2025Jan 4, 2025

• paperproof

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

  TypeScript

  •

  MIT License

  •11•0•0•0•Updated Dec 25, 2024Dec 25, 2024

• dev-llm-prompts

  Public
  collection of LLM prompts for developers

  169•0•0•0•Updated Oct 10, 2024Oct 10, 2024

• magma-equations-permutations

  Public
  https://terrytao.wordpress.com/2024/09/25/a-pilot-project-in-universal-algebra-to-explore-new-ways-to-collaborate-and-use-machine-assistance/

  Python

  •1•0•0•0•Updated Sep 26, 2024Sep 26, 2024

• sympy-in-docker

  Public
  sympy in Ubuntu

  Python

  •0•0•0•0•Updated Sep 18, 2024Sep 18, 2024

• LaTeX2SymPyParser

  Public
  Translate valid Mathematical LaTeX to SymPy

  C++

  •

  Creative Commons Zero v1.0 Universal

  •0•0•0•0•Updated Sep 7, 2024Sep 7, 2024

• latex-in-arxiv

  Public
  extract math latex from content in arxiv

  latex

  C++

  •1•4•21•0•Updated Sep 7, 2024Sep 7, 2024

• .github

  Public
  about this organization

  Creative Commons Zero v1.0 Universal

  •0•0•0•0•Updated Sep 2, 2024Sep 2, 2024

• fzf-for-js

  Public
  Do fuzzy matching using FZF algorithm in JavaScript

  TypeScript

  •

  BSD 3-Clause "New" or "Revised" License

  •22•0•0•0•Updated Aug 11, 2024Aug 11, 2024

• ladot

  Public
  backup of https://brighten.bigw.org/projects/ladot/

  Perl

  •

  GNU General Public License v2.0

  •0•0•0•0•Updated Jun 16, 2024Jun 16, 2024

• sympy

  Public
  A computer algebra system written in pure Python

  Python

  •

  Other

  •4.5k•0•0•0•Updated May 25, 2024May 25, 2024

• road-to-reality

  Public
  The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations.

  Clojure

  •

  MIT License

  •11•0•0•0•Updated May 25, 2024May 25, 2024

• antlr4_tex2sym

  Public
  antlr4_tex2sym parses LaTeX math expressions and converts it into the equivalent SymPy form by using antlr4.

  Python

  •

  MIT License

  •2•0•0•0•Updated May 25, 2024May 25, 2024