Taha Rostami's repositories

TahaRostami.github.io

A Jekyll theme I designed and implemented for my website using W3.CSS and inspired by a template from W3schools

Language:HTMLStargazers:4Issues:1Issues:0

Harif

My B.Sc project (Harif): Design and Implementation of a graph-based automatic course-selection system that recommends schedules based on student’s preferences

Language:HTMLStargazers:3Issues:0Issues:0

NitPhonebook

NitPhoneBook (DEMO): Design and implementation of algorithm and software for Babol Noshirvani University of Technology to solve their problem with their out-of-the date phone-book tools

Language:C#Stargazers:3Issues:0Issues:0

predicting-fault-revealing-mutants-by-estimating-the-difficulty-of-killing-them

The source code for the paper: FrMi: Fault-revealing Mutant Identification using killability severity

Language:PythonStargazers:2Issues:1Issues:0

CnC

Cube-and-Conquer SAT solver

Language:CStargazers:0Issues:0Issues:0

unidom

A modular domination solver

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0