A practical and beginner-friendly repository for learning Python for Data Science. This collection includes hands-on Jupyter Notebooks covering essential Python concepts used in data analysis, machine ...

A simple SAT and TAUT checker for boolean expressions written in Haskell This project allows you to check whether a boolean expression is satisfiable (SAT) or a tautology (TAUT).