Pinned Repositories
ARM
AZDB-6
compiler_phase3
Compiler_phase4
cvc5-horn
Enforcement
IE_1_Logme
khorshid
logme
northwind_psql
Northwind sample database for postgres
hadiloomehdi's Repositories
hadiloomehdi/compiler_phase3
hadiloomehdi/ARM
hadiloomehdi/AZDB-6
hadiloomehdi/Compiler_phase4
hadiloomehdi/cvc5-horn
hadiloomehdi/Enforcement
hadiloomehdi/IE_1_Logme
hadiloomehdi/khorshid
hadiloomehdi/logme
hadiloomehdi/northwind_psql
Northwind sample database for postgres
hadiloomehdi/OS_lab1
hadiloomehdi/OS_lab2
hadiloomehdi/OS_lab3
hadiloomehdi/STS01
Source code for Software Testing course project, Spring 1401
hadiloomehdi/SupermarketReceipt-Refactoring-Kata
This is a refactoring kata based on the one described in http://codekata.com/kata/kata01-supermarket-pricing/