Giters
ATOMSLab

ATOMSLab

Geek Repo

27

followers

0

following

5

stars

Location:Baltimore, Maryland

Home Page:https://atomslab.github.io/

Twitter:@ATOMSresearch

Github PK Tool:Github PK Tool

ATOMSLab's repositories

LeanChemicalTheories

Language:LeanStargazers:27Issues:2Issues:2

BayesianSymbolicRegression

Language:Jupyter NotebookStargazers:3Issues:0Issues:0

pySR_adsorption

Language:Jupyter NotebookStargazers:3Issues:0Issues:0

LeanBET

Formally-verified BET Adsorption analysis in Lean

Language:LeanStargazers:1Issues:0Issues:0

LeanMD

Molecular Dynamics in Lean

Language:LeanLicense:Apache-2.0Stargazers:1Issues:0Issues:0

LLMSpectroscopy

Automated spectroscopy analysis for the 2024 LLM Hackathon for Applications in Materials and Chemistry

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:1Issues:0Issues:0

atomslab.github.io

ATOMS Lab website

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

VerifiedReactors

Stargazers:0Issues:0Issues:0

14DX_Adsorption

Language:RoffStargazers:0Issues:0Issues:0

doc-gen

Generate HTML documentation for mathlib and Lean

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

LLMsforSR

Language:Jupyter NotebookStargazers:0Issues:0Issues:0