bustamante's Stars
Z3Prover/z3
The Z3 Theorem Prover
Kaggle/kaggle-api
Official Kaggle API
OpenLogicProject/OpenLogic
An open-source, customizable intermediate logic textbook
oscarlevin/discrete-book
An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado