Evgeniy Slobodkin's repositories
async-architecture-course
My attempt to pass Asynchronous Architecture Course
Language:TeX000
DT2021
Dependent Types (IFMO/JB, Fall 2021)
000
HTTPretty
Intercept HTTP requests at the Python socket level. Fakes the whole socket module
Language:PythonMIT000
intellij-arend
Arend plugin for IntelliJ IDEA
Language:KotlinApache-2.0000
java-server-benchmark
Project for java-course
Language:OCamlGPL-3.0000
metacomputations-course
Metacomputations course (2021)
Linux-basics-2020
В этом репозитории хранятся задания по курсу "Основы Linux"
mtt-lang
A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
Language:OCamlMIT000
mypy
Optional static typing for Python
Language:PythonNOASSERTION000
pyeffects
Handle side-effects in Python like a boss. Implements functional types for Either, Option, Try, and Future.
Language:PythonNOASSERTION000
python-teaching
Home for my teaching materials for Python Course (fall 2023)
python-testing-homework
Homework for our "Testing" course
Language:Python000
SoftwareDesign
Simple Bash implementation for Software Architecture course
zbg
✨ Zero bullshit git
Language:OCamlMPL-2.0000