MathGuim
Follow
-
iaintsosure Public
Repository for materials in the https://iaintsosure.substack.com/ blog.
MIT License UpdatedNov 5, 2025 -
Mathematical-Logic-Through-Python Public
Forked from hjbolus/Mathematical-Logic-Through-PythonPython package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski
Python UpdatedOct 15, 2025 -
ai-and-ml-security-minicourse Public
Forked from kjam/ai-and-ml-security-minicourseA Probably Private mini-course introducing AI/ML security via interactive videos and hands-on examples.
Jupyter Notebook UpdatedOct 10, 2025 -
marvel-characters Public
Forked from marvelousmlops/marvel-charactersA complete end-to-end MLOps pipeline for Marvel character data.
Python UpdatedAug 29, 2025 -
-
mkflashcards Public
Forked from intellectronica/mkflashcardsAutomagically create flashcards from text
Python The Unlicense UpdatedDec 26, 2024 -
-
VRP Public
Graphical display of the vehicle routing problem
-
serverless-ml-course Public
Forked from featurestoreorg/serverless-ml-courseServerless Machine Learning Course for building AI-enabled Prediction Services from models and features
Jupyter Notebook Creative Commons Zero v1.0 Universal UpdatedSep 24, 2024 -
-
-
tsplib-ortools Public
Comparision between different MIP formulations to solve the Travelling Salesman Problem using instances from tsplib95 and ortools
Jupyter Notebook UpdatedSep 29, 2020