allofphysicsgraph Goto Github PK

.github

about this organization

ai-descartes

Open source package for accelerated symbolic discovery of fundamental laws.

allofphysicsgraph.github.io

site for all of physics project

antlr4_tex2sym

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

arxiv-latex-cleaner

arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

awesome-tlaplus

A curated list of TLA+ resources.

calchemy

Calchemy™ -- Math Magic

calculatex

A pretty printing calculator language with support for units. Makes calculations easier and more presentable with real time LaTeX output, along with support for units, variables, and mathematical functions.

containerized-miogatto-annotation

Dockerfile for MioGatto - https://github.com/wtsnjp/MioGatto

d3js-graph-exploration

exploration of d3js graphs

derivator

docker-texlive-full

A repository with a full texlive installation to be the base for my other texlive-related containers.

dynamic-search

search a graph using a webform

emmy

The Emmy Computer Algebra System.

graph

An attempt to use MathML and automatically check correctness using symbolic computation.

graphvizonline

https://allofphysicsgraph.github.io/GraphvizOnline/

json-editor

JSON Schema Based Editor

latex-in-arxiv

extract math latex from content in arxiv

latex_tests

test of latex as parsed by Sympy

latexml

Dockerfile for https://dlmf.nist.gov/LaTeXML/

lean-in-docker

Lean in Docker

lean4

Lean 4 programming language and theorem prover

leanchemicaltheories

live-preview-of-latex

preview latex before submitting form

mathnlg

miogatto

An annotation tool for grounding of formulae

ngraph

Beautiful Graphs

open-semantic-search

Open Source research tool to search, browse, analyze and explore large document collections by Semantic Search Engine and Open Source Text Mining & Text Analytics platform (Integrates ETL for document processing, OCR for images & PDF, named entity recognition for persons, organizations & locations, metadata management by thesaurus & ontologies, sea

pm

package managers visualization

prm800k

OpenAI's 800,000 step-level correctness labels on LLM solutions to MATH problems