Implementing some new checks for a popular python linting tool: pylint-dev/pylint#3644
Improving the type analysis for booleans on mypy, a tool for typechecking Python code: python/mypy#10389
Augmenting a miniKanren (logic programming DSL) implementation to halt after a threshold of time if a solution can't be found: nickdrozd/reazon#12