My name is Silvio Mayolo. I am a programmer and mathematician
at Johns Hopkins University Applied Physics Lab. I also am happy to help or
consult concerning programming questions or problems.
I am familiar with most modern programming languages, and my
academic interests lie in the intersection of mathematics and
computer science, specifically in the study of category theory,
formal language theory, and abstract algebra.
Please
check out
my GitHub page!
Emacs mode I wrote to work specifically with MASM
Presentation I delivered a short while back on type theory
A game project that I designed with a good friend
The major four parts of the pipeline in my Net Game project,
each written in a different language
A WIP abstract algebra proof engine, shown here proving that
the identity is its own inverse
One of my oldest games, a text-based adventure called Demensitis
[back to homepage]