I'm a software engineer. Some of my interests include:

• Formal languages
• Functional programming
• Web development

Writing

• typing-tips, a collection of articles about Python's gradual typing system
• py-simpleparser — my hot take on parsing unstructured data

Linters

• flake8-useless-assert, a flake8 plugin to detect bad assert statements

• flake8-pep585, a flake8 plugin to find deprecated imports from typing (PEP 585)

• mypy-plugin-attempt — a demo plugin for mypy, a Python type checker

• pyright-playground (archived) lets you play with Pyright, a Python type checker, in your browser.

Experimental stuff and explorations

• lanim is a library for making animations in Python, built on functional programming principles
• elm-markup-language-demo — a Lisp-like markup language for writing articles (project for learning Elm)
• py-ast-rule-engine — search for patterns in Python code using a YAML specification
• ts-generic-rep — type-level lambdas, map, filter and reduce for TypeScript
• py-bot-command-parser — combinator parser for chat bot commands
• rs-interpreter-experiments — using different strategies to evaluate the same expression in Rust

Other platforms

• ⛳ Code Golf
• 🥞 Stack Overflow

Contact me

• Email: decorator-factory@protonmail.com
• Telegram: @decorator_factory
• Discord: decorator_factory