Skip to content
View bilals's full-sized avatar
17 followers · 13 following

Block or report bilals

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. lotrec lotrec Public

    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 t…

    Java 6 4

  2. tsp-ga tsp-ga Public

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

    Makefile

  3. moviesWebAppJEE moviesWebAppJEE Public

    Java

  4. dsf18 dsf18 Public

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

    Java

  5. gitTest2019 gitTest2019 Public

    Java

  6. 2019 2019 Public

    Forked from ieee-aike/2019

    IEEE AIKE 2019

    HTML