Pinned Repositories
au-linux-kernel-autumn-2017
SpbAU autumn 2017 Linux kernel programming course tasks
bidir
Notes on bidirectional typing for dependent call-by-push-value type systems
blackout
Android libGDX game, Fall 2016
ChatGPT.el
ChatGPT in Emacs
compiler
Compiler for a fictional programming language
computer-vision
coq-style-guide
DT2019
Материалы и задания по курсу "Программирование с зависимыми типами" 2019 года
Inhabitation
The implementation of the inhabitation algorithm for rank two intersection types
demarkok's Repositories
demarkok/au-linux-kernel-autumn-2017
SpbAU autumn 2017 Linux kernel programming course tasks
demarkok/blackout
Android libGDX game, Fall 2016
demarkok/cyclist-comparison
Collecting cycling competitions results and compiring two participants.
demarkok/Distributed-static-analyzer
demarkok/formal-languages
formal languages homework tasks
demarkok/ggj2016
Out entry for global game jam 2016
demarkok/JavaCW
demarkok/JavaHwTerm3
demarkok/JavaHwTerm4
Java homework in Academic University
demarkok/JavaPractice
demarkok/jvm-course-homework
demarkok/kotlin-course
demarkok/L-lexer
A lexer for the fictional language called L
demarkok/o8v.github.io
demarkok/opestov.github.io
demarkok/OS
educational operating system project
demarkok/simple-interpreter
An interpreter for a fictional language.
demarkok/software-design-homework
demarkok/The-ants-are-my-friends
Multiplayer game for android (educational project)
demarkok/The-Hat-Game
A telegram bot implementing a game with words called Hat.