Pavel Golovin's repositories
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
cpp-course
For homeworks and exam-tasks
idris-examples
Some examples of programs with dependent types from Type Theory course in IFMO University.
latex-styles
LaTeX styles for different purposes.
modal-type-theory
WIP Modal type theory typechecker and evaluator
opentelemetry-python
The OpenTelemetry Python Client
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
visitor-rpn
Playing with pattern visitor on Haskell