h0tk3y/propositional-calculus
Checking and generating proofs for formulas in propositional logic
Developer Profile
h0tk3y
Discovered public repositories for h0tk3y in the GitHub catalog.
h0tk3y/hoard
Hoard allocator C++ implementation
h0tk3y/exam1
Public repository.
h0tk3y/lesson10
Public repository.
h0tk3y/lesson9
Public repository.
h0tk3y/colloquium2
Public repository.
h0tk3y/lesson8
Public repository.
h0tk3y/lesson7
Public repository.
h0tk3y/lesson6
Public repository.
h0tk3y/lesson5
Public repository.
h0tk3y/lesson4
Public repository.
h0tk3y/colloquium1
Public repository.
h0tk3y/lesson2
Public repository.
h0tk3y/lesson1
Урок 1. Игушкин Сергей, гр. 2538
h0tk3y/learning-cpp-set
Public repository.
h0tk3y/learning-cpp-list
Double-linked list implementation