Mike Aizatsky

My professional interests are in programming languages, their design and implementation, safe and secure code, formal methods.

Personal Projects

💾 gdrive-webdav - WebDAV bridge for Google Drive; 199 ⭐️
📚 niko - stack oriented concatenative array language
🪭quiet-server - ipmi fan control for home lab
♠️ bridgitte - contract bridge double dummy solver
🪘 clave - midi click track generator
🧬gen-compile-commands - simple compile-commands.json generator
🪢 ropes.pages.dev - rope art Monte Carlo optimizer
🌊ts-types - typescript types manipulation library
🗼ztd - experiments in data oriented programming in Zig
🚜tractor - tiny actor system in go
🎲 StochasticProcess.jl - Julia package for computing stochastic integrals
🚀mathematica-specialrelativity - Mathematica package to work with special relativity 4-vectors
🔥iflam - fractal image generator
🔎bayes - bayesian network exercises for coursera PGM course
♻️appengine-mapreduce - still refuses to perish
📐3D designs - for 3D printer
✂️flac-cue-split - split media files according to cue sheets
📻crabbox - raspberry pi hardware jukebox
🐍ghidra-scripts - automation for ghidra

I can talk about music forever. Ping me if you’re looking for a beginner timbalero or a latin drummer in Bay Area.

Some projects were never published for various reasons. Consider these to be conversation starter and vaporware.

copy-and-patch js jit; compiler, runtime and patches written in Rust; ran out of steam when I realized how big js language is. If you have a small language that needs jit, talk to me.
derivatives trading bot, java akka on top of ibkr. IBKR actors are probably worth open sourcing.