Pinned Repositories
dm
Задачи по дискретна математика.
eai
Записки по „Езици, автомати и изчислимост"
lp
Логическо програмиране
mesi
записки по курса ,,Машини, Езици, Сложност и Изчислимост"
sep
Записки по курса ,,Семантика на езиците за програмиране"
stefk0.github.io
tornado
Tornado is a Python web framework and asynchronous networking library, originally developed at FriendFeed.
stefk0's Repositories
stefk0/eai
Записки по „Езици, автомати и изчислимост"
stefk0/sep
Записки по курса ,,Семантика на езиците за програмиране"
stefk0/lp
Логическо програмиране
stefk0/mesi
записки по курса ,,Машини, Езици, Сложност и Изчислимост"
stefk0/dm
Задачи по дискретна математика.
stefk0/stefk0.github.io
stefk0/tornado
Tornado is a Python web framework and asynchronous networking library, originally developed at FriendFeed.