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