I mainly code apps and linguistics-related software in Python and Go. I also build materials for symbolic logic and related formal languages.