hckkid/hckkid-xv6
My contricutions to xv6
Developer Profile
hckkid
Discovered public repositories for hckkid in the GitHub catalog.
hckkid/GameDoc
Contains Design Documentation of my Game
hckkid/my-eTrice-work
Public repository.
hckkid/eTrice
Public repository.
hckkid/Constructive-Logic
Work on Intutionistic Logic
hckkid/lambda-calculus-in-C
lambda calculus in C
hckkid/My-Language
Public repository.
hckkid/Propositional-Logic
All my work on Propositional Logic
hckkid/Gentzen-System
Gentzen System Implementation
hckkid/RSA-Python
Public repository.
hckkid/Logic-For-Perl
Perl Implementation Of Logic
hckkid/Propositional-Logic-With-Semantic-Tableaux
Public repository.
hckkid/While-Language-and-tester
My own simple while programming language and its tester
hckkid/Propositional-Logic-Checker
To check validity of Propositional formulas
hckkid/Hello-World
Public repository.