A L E X   V A R G A

Bio

I am a mathematically-minded software engineer who is fascinated by programming languages and abstractions that enable coherent, maintainable, and verifiably-correct software. One of my long-term projects is combining metaprogramming, formal verification, and actor models to create a multi-user programming environment.

Some Interactive Projects

Please check out the bold items!

• Graphical Proof Assistant : Graph-based proof assistant using my "Hybrid UI". Made this tool to help me experiment with type systems. (Video)
• Verified Ordinal Arithmetic : Implementation of ordinal arithmetic with properties verified in Liquid Haskell (Haskell + Refinement Types). I proved that my Cantor Normal Form representation of ordinals is closed under the operations needed to implement the Num and Ord typeclasses.
• 3D Fireworks : Graphics Course final project with thousands of particles with real-time lighting.
• Hybrid Environments : A programming language combining static and dynamic scoping. It's fun but probably a horrible idea; try it in the browser!
• Collision Trees : Computational art from self-colliding trees with a surprising variety of emergent behaviors.
• Ackermann Blocks : Interactive Ackermann function visualizer.
• Turing Turtle : Puzzle game with turing machine programming. I made an iOS version but it's not currently in the App Store.
  • 4 minute video
  • 1 minute video
• Paint Splotch Shadertoy : Watching this simulated paint dry isn't boring, I promise!
• Set Theory Explorer : A simple set theory proof assistant (very old). (Screenshot)
• Graupel Games : A javascript content management site. Here are some games I made with it:
  • Romantic Mushroom Shoot : I was randomly assigned this game name in a game jam and threw this together in ~8 hours.
  • Aboidance : Flocking boids you can chase.
  • Phrog : Beginnings of an attempt to make an extensible 3D Frogger-like game. Click Levels > Play > Use WASD/Arrows
• Mars of the Penguins : In-progress game about programming a colony of bots.