Popular repositories Loading
-
-
proof-buddy-New
proof-buddy-New PublicForked from steveearth66/proof-buddy-New
A web application for verifying mathematical proofs using True-False Logic (TFL) and First Order Logic (FOL), currently utilized by professors and students in courses at Drexel University.
Python
-
hands_of_hope_website
hands_of_hope_website PublicFeatures the foundation and website hosting basis for Hands of Hope Outreach, a 501(c)(3) registered nonprofit, with over $10,000 raised to help local communities.
TypeScript
-
matbench
matbench PublicForked from materialsproject/matbench
Matbench: Benchmarks for materials science property prediction
Python
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.