hadiloomehdi

Pinned Repositories

ARM
Language:SystemVerilog0 1 00
AZDB-6
Language:TypeScript00
compiler_phase3
Language:Java10
Compiler_phase4
Language:Java00
cvc5-horn
Language:CMake0 1 00
Enforcement
Language:Java00
IE_1_Logme
Language:Java00
khorshid
Language:CSS00
logme
00
northwind_psql
Northwind sample database for postgres
Language:TSQL00

hadiloomehdi's Repositories

hadiloomehdi/compiler_phase3
Language:Java10
hadiloomehdi/ARM
Language:SystemVerilog0 1 00
hadiloomehdi/AZDB-6
Language:TypeScript00
hadiloomehdi/Compiler_phase4
Language:Java00
hadiloomehdi/cvc5-horn
Language:CMake0 1 00
hadiloomehdi/Enforcement
Language:Java00
hadiloomehdi/IE_1_Logme
Language:Java00
hadiloomehdi/khorshid
Language:CSS00
hadiloomehdi/logme
00
hadiloomehdi/northwind_psql
Northwind sample database for postgres
Language:TSQL00
hadiloomehdi/OS_lab1
Language:C
hadiloomehdi/OS_lab2
Language:C
hadiloomehdi/OS_lab3
Language:C
hadiloomehdi/STS01
Source code for Software Testing course project, Spring 1401
Language:Java
hadiloomehdi/SupermarketReceipt-Refactoring-Kata
This is a refactoring kata based on the one described in http://codekata.com/kata/kata01-supermarket-pricing/
Language:C++