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
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 withPyright, 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
PinnedLoading
- py-simpleparser
py-simpleparser PublicPython 2
- py2-nostalgia
py2-nostalgia PublicPython2 style argument destructuring using parameter annotations
Python 3
- rs-interpreter-experiments
rs-interpreter-experiments PublicExperimenting with DSL interpreters in Rust
Rust 3
Something went wrong, please refresh the page to try again.
If the problem persists, check theGitHub status page orcontact support.
If the problem persists, check theGitHub status page orcontact support.
Uh oh!
There was an error while loading.Please reload this page.