gopavel Goto Github PK

aioetcd3

any_iterator_cpp

Implementation type erasure on C++.

assembler-course

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

compilers-2021-spring

cpp-course

For homeworks and exam-tasks

cpp-notes

geometry2018

List of homeworks for course of computational geometry.

gradusnik

GUI for specific analyze temperature chart.

hahn

Hahn: A Coq library

idris-examples

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

idris-proof

Some formal proofs on Idris

information-retrieval-course

java-course

fork from https://www.kgeorgiy.info/git/geo/java-advanced-2018.git for homeworks

knn

haskell implementation of classification method

latex-styles

LaTeX styles for different purposes.

math-logic

Repository contains homeworks of math logic course.

modal-type-theory

WIP Modal type theory typechecker and evaluator

model-distillation-experiments

my-spacemacs-config

For backup and notes

newton-method

opentelemetry-python

The OpenTelemetry Python Client

optimization-methods

optional

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