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/Inhabitation
The implementation of the inhabitation algorithm for rank two intersection types
demarkok/bidir
Notes on bidirectional typing for dependent call-by-push-value type systems
demarkok/ChatGPT.el
ChatGPT in Emacs
demarkok/compiler
Compiler for a fictional programming language
demarkok/computer-vision
demarkok/coq-style-guide
demarkok/DT2019
Материалы и задания по курсу "Программирование с зависимыми типами" 2019 года
demarkok/ott
The Ott tool for writing definitions of programming languages and calculi
demarkok/deep-learning
deep learning course repository
demarkok/dependent
demarkok/ext4-anomalies
demarkok/Functors-For-Free
A research in type theory: application of the Free theorem for Functors.
demarkok/game-tools
Scripts, web-apps and documents for various intellectual games
demarkok/group-progress
Прогресс решения задач на информатиксе
demarkok/gym
A toolkit for developing and comparing reinforcement learning algorithms.
demarkok/hahn
Hahn: A Coq library
demarkok/issue-wanted
🏷 Web application to help beginners to start contributing into Haskell projects
demarkok/Linear-inference
demarkok/literate-programming-tutorials
Literate Programming Tutorials
demarkok/LRP-2021
A supplementary repository for the course on logic and relational programming
demarkok/meta-workout
demarkok/misc-scripts
miscellaneous scripts, mostly for the GNU/Linux command line
demarkok/NbEReadingGroup
A repository for material from the reading group on NbE
demarkok/polarized-f-with-exist
demarkok/pracths
demarkok/pwt
A supplementary Coq formalization for "The Leaky Semicolon" paper
demarkok/site
demarkok/spacemacs-coq
A very simple coq layer for spacemacs
demarkok/spring-lang
demarkok/supercompiler
Positive supercompiler for a functional programming language