Pinned Repositories
backup-organizer-tool
Pythonic Photo and Video Organizer in to a main HDD Database.
csc-intro-logic
Notes for the CSC Introduction to Formal Logic Class I'm teaching
hypixel-friend-notifier
nazir-atp-ts
Automated Theorem Prover built using the implies and negation rules in System K of the Sequent Calculus
physics-proofs
pin-bruteforcer-tv
Uses IR sensor to bruteforce all 4 digits pin codes
rhyme-analysis
Tool to analyse rhyming schemes in Rap, Poetry, and Songs
rhymealysis
React App for Colour-Coded Rhyme Analysis for Lyrics in Rap, Poetry, or Music
rhymer
constructs rhymes
zol-ts
The worst Zeroth-Order-Logic implementation in TypeScript
ihab247's Repositories
ihab247/csc-intro-logic
Notes for the CSC Introduction to Formal Logic Class I'm teaching
ihab247/nazir-atp-ts
Automated Theorem Prover built using the implies and negation rules in System K of the Sequent Calculus
ihab247/physics-proofs
ihab247/pin-bruteforcer-tv
Uses IR sensor to bruteforce all 4 digits pin codes
ihab247/rhyme-analysis
Tool to analyse rhyming schemes in Rap, Poetry, and Songs
ihab247/backup-organizer-tool
Pythonic Photo and Video Organizer in to a main HDD Database.
ihab247/hypixel-friend-notifier
ihab247/rhymealysis
React App for Colour-Coded Rhyme Analysis for Lyrics in Rap, Poetry, or Music
ihab247/rhymer
constructs rhymes
ihab247/zol-ts
The worst Zeroth-Order-Logic implementation in TypeScript
ihab247/ihab247
Used as a resume site
ihab247/ihab247.github.io
ihab247/otp
My Experiment with One Time Pad Encryption
ihab247/primeFactorize
pretty okay prime factorizer. Nothing special but it uses 1024 bit integers from the boost library.