💻
Work must go on
Highlights
- Pro
-
-
-
symphon.io Public
VK Hackathon project - Symphon.io
-
-
-
-
-
-
-
-
-
-
-
funcprog Public
Functional programming on Haskell ITMO course 2020 homeworks
Haskell MIT License UpdatedJul 18, 2020 -
-
-
parsogen Public
Kotlin Parsers Generator (task 3 of translation method course)
Java UpdatedMay 27, 2020 -
-
device-mapper-proxy-km Public
Simple kernel module to track some stats while performing I/O operations with virtual block devices
C UpdatedMay 5, 2020 -
fp-homework-templates-2020 Public
Forked from jagajaga/fp-homework-templates-2020Homework templates for Haskell ITMO course at CTD
Haskell MIT License UpdatedFeb 23, 2020 -
type-theory Public
Practice homeworks for type theory course. hw1 - parsing lambda-expression, hw2 - beta-reducing lambda expression, hw3 - type inference of lambda-expression
Haskell UpdatedJan 24, 2020 -
-
-
-
os-net-descriptor-passing Public
Forked from wafemand/os-net-descriptor-passingC++ UpdatedJun 11, 2019 -
-
-
logic-notes Public
Forked from itmo-logic/logic-notesMathematical logic course notes
TeX UpdatedMay 10, 2019 -
os-2019 Public
Forked from Tindarid/os-2019"Операционные системы", ИТМО, весна 2019
TeX UpdatedApr 25, 2019 -
Previous Next