demarkok

Inhabitation

The implementation of the inhabitation algorithm for rank two intersection types

bidir

Notes on bidirectional typing for dependent call-by-push-value type systems

ChatGPT.el

ChatGPT in Emacs

compiler

Compiler for a fictional programming language

computer-vision

coq-style-guide

DT2019

Материалы и задания по курсу "Программирование с зависимыми типами" 2019 года

ott

The Ott tool for writing definitions of programming languages and calculi

deep-learning

deep learning course repository

ext4-anomalies

Functors-For-Free

A research in type theory: application of the Free theorem for Functors.

game-tools

Scripts, web-apps and documents for various intellectual games

group-progress

Прогресс решения задач на информатиксе

gym

A toolkit for developing and comparing reinforcement learning algorithms.

hahn

Hahn: A Coq library

hpcourse

Repository to store student's practical works on high performance computing course

issue-wanted

🏷 Web application to help beginners to start contributing into Haskell projects

literate-programming-tutorials

Literate Programming Tutorials

LRP-2021

A supplementary repository for the course on logic and relational programming

meta-workout

misc-scripts

miscellaneous scripts, mostly for the GNU/Linux command line

NbEReadingGroup

A repository for material from the reading group on NbE

polarized-f-with-exist

pracths

pwt

A supplementary Coq formalization for "The Leaky Semicolon" paper

site

spacemacs-coq

A very simple coq layer for spacemacs

spring-lang

supercompiler

Positive supercompiler for a functional programming language

um-assignment

Universal Machine interpreter assignment