GoPavel

assembler-course

Lection notes: https://github.com/GoPavel/assembler-course/blob/master/lection.md

geometry2018

List of homeworks for course of computational geometry.

any_iterator_cpp

Implementation type erasure on C++.

idris-proof

Some formal proofs on Idris

math-logic

Repository contains homeworks of math logic course.

my-spacemacs-config

For backup and notes

aioetcd3

aw-org-mode-importer

compilers-2021-spring

cpp-course

For homeworks and exam-tasks

hahn

Hahn: A Coq library

idris-examples

Some examples of programs with dependent types from Type Theory course in IFMO University.

information-retrieval-course

knn

haskell implementation of classification method

latex-styles

LaTeX styles for different purposes.

modal-type-theory

WIP Modal type theory typechecker and evaluator

model-distillation-experiments

newton-method

opentelemetry-python

The OpenTelemetry Python Client

optimization-methods

os-course

Repository contains homeworks of operation system course

parser-combinator

Library of parser-combinator with parser generation.

PRF-haskell

Experiment with haskell vararg function

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

social-media-computing

Homework repo for ML and DA course

software-design-course

Repo with homeworks

SpaceX-db

Course work for database course

syntax-tree

thesis

visitor-rpn

Playing with pattern visitor on Haskell