M. R.'s repositories
csc-intro-logic
Notes for the CSC Introduction to Formal Logic Class I'm teaching
nazir-atp-ts
Automated Theorem Prover built using the implies and negation rules in System K of the Sequent Calculus
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
backup-organizer-tool
Pythonic Photo and Video Organizer in to a main HDD Database.
Language:Python000
rhymealysis
React App for Colour-Coded Rhyme Analysis for Lyrics in Rap, Poetry, or Music
Language:TypeScript000
rhymer
constructs rhymes
Language:Python000
zol-ts
The worst Zeroth-Order-Logic implementation in TypeScript
Language:TypeScriptMIT000
ihab247
Used as a resume site
000
otp
My Experiment with One Time Pad Encryption
Language:PythonMIT000
primeFactorize
pretty okay prime factorizer. Nothing special but it uses 1024 bit integers from the boost library.
Language:C++MIT000