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
- cryptograms — decipher quotes about software
- flake8-useless-assert, a
flake8plugin to detect badassertstatements - flake8-pep585, a
flake8plugin 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,filterandreducefor TypeScript - py-bot-command-parser — combinator parser for chat bot commands
- rs-interpreter-experiments — using different strategies to evaluate the same expression in Rust