I'm a software engineer. Some of my interests include:
- Formal languages
- Functional programming
- Web development
- typing-tips, a collection of articles about Python's gradual typing system
- py-simpleparser — my hot take on parsing unstructured data
-
flake8-useless-assert, a
flake8
plugin to detect badassert
statements -
flake8-pep585, a
flake8
plugin to find deprecated imports fromtyping
(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.
- 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
andreduce
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
- Email:
[email protected]
- Telegram:
@decorator_factory
- Discord:
decorator_factory