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