Pavel Bezborodov's repositories
ru-internships2019
ИТ стажировки в России
numanal-hw2
NUMerical ANALysis HomeWork2
symphon.io
VK Hackathon project - Symphon.io
university
All my university tasks and projects links
Language:Jupyter Notebook000
cryptography
Cryptography course homework tasks
device-mapper-proxy-km
Simple kernel module to track some stats while performing I/O operations with virtual block devices
Language:C000
fp-homework-templates-2020
Homework templates for Haskell ITMO course at CTD
hazzus.github.io
CV-site and some web trash I post
Language:HTML000
logic-notes
Mathematical logic course notes
numanal-term-paper
NUMerical ANALysis TERM PAPER
Language:Kotlin000
Language:Jupyter Notebook000
P7-log-wrap
(Almost) comfortable wrapper for logging via P7 library
type-theory
Practice homeworks for type theory course. hw1 - parsing lambda-expression, hw2 - beta-reducing lambda expression, hw3 - type inference of lambda-expression
Language:Haskell000