bilals

2019

IEEE AIKE 2019

dsf18

Code files related to the Data Structure course given at AUL during the fall semester 2018.

DSFall2021

gitTest2019

handson-ml2

A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.

ICCDISELFall2021

lotrec

LoTREC is an automated theorem prover for modal and description logic. It allows students and researchers in logic to define well-known and new exotic logics with Kripke's semantics, and to check the properties of their formulas, i.e. their satisfiability or validity, as well as performing model checking.

mobileLUFSFall20-21

mobileLUSp20

moviesWebAppJEE

bilals/lotrec

LoTREC is an automated theorem prover for modal and description logic. It allows students and researchers in logic to define well-known and new exotic logics with Kripke's semantics, and to check the properties of their formulas, i.e. their satisfiability or validity, as well as performing model checking.

bilals/2019

IEEE AIKE 2019

bilals/dsf18

Code files related to the Data Structure course given at AUL during the fall semester 2018.

bilals/DSFall2021

bilals/gitTest2019

bilals/handson-ml2

A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.

bilals/ICCDISELFall2021

bilals/mobileLUFSFall20-21

bilals/mobileLUSp20

bilals/moviesWebAppJEE

bilals/nlp-datasets

Alphabetical list of free/public domain datasets with text data for use in Natural Language Processing (NLP)

bilals/parallel-programming-sp20

bilals/scikit-learn-mooc

Machine learning in Python with scikit-learn MOOC

bilals/tsp-ga

Genetic Algorithm Solver for the Traveling Salesperson Problem (TSP) along with its parallelization.