severen / turing-tarpit

An educational environment for exploring automata, Turing machines, and the λ-calculus.

Hi, I'm Severen!

I am a systems developer at SiteHost and a mathematics and computer science graduate from the University of Canterbury.

My interests include:

• Programming language theory, design, and implementation
• Logic, type theory, and category theory
• Abstract algebra

I am an avid user, developer, and supporter of free and open source software, and as such endeavour to release as many of my projects as possible under such licences.

You can contact me via email at [email protected] or on Discord at severen.