Hi, I’m
Alexander Varga.
I like meta-programming, applied logic, and simulation
Featured projects
All projects →-
Quilt ↗
Polyglot metaprogramming language.
-
NanoBots ↗
Compile gas-metered state machines to run on the GPU, right in your browser.
-
SatSight
Solve puzzles like Sudoku, Akari and graph coloring by reduction to SAT, then watch the solver’s discoveries projected back into the puzzle, with the CDCL search steppable one event at a time. Runs in your browser via WebAssembly.
-
Graphical Proof Assistant
Graph-based proof assistant using my “Hybrid UI”. I made this tool to help me experiment with type systems.