-
third-year-project Public
Self-proving machine learning models with per-input verification
-
-
poly_data Public
Forked from warproxxx/poly_dataPolymarket Data Retriever that fetches, processes, and structures Polymarket data including markets, order events and trades.
Jupyter Notebook UpdatedFeb 20, 2026 -
-
cs255-connect4 Public
Connect 4 Draft Ver. for CS255 AI Coursework (not the actual coursework code)
Python MIT License UpdatedJan 4, 2025 -
self-proving-models Public
Forked from orrp/self-proving-modelsModels That Prove Their Own Correctness
Python MIT License UpdatedDec 11, 2024 -
-
jbbmo-Introduction-to-Git-and-GitHub Public
Forked from ibm-developer-skills-network/jbbmo-Introduction-to-Git-and-GitHubIntroduction to Git and GitHub
Python Apache License 2.0 UpdatedOct 13, 2024 -
-
Centralized-repository-shipping_calculations Public
Forked from ibm-developer-skills-network/Centralized-repository-shipping_calculationsCentralized-repository-shipping_calculations
Python Apache License 2.0 UpdatedOct 13, 2024 -
-
gkpbt-css-circle Public
Forked from ibm-developer-skills-network/gkpbt-css-circlecss-circle
HTML Apache License 2.0 UpdatedOct 13, 2024 -
oaqjp-final-project-emb-ai Public
Forked from ibm-developer-skills-network/oaqjp-final-project-emb-aifinal-project-emb-ai
HTML Apache License 2.0 UpdatedAug 20, 2024
{{ message }}