http://zaliva.org/ [email protected]
University of Cambridge, Digamma.ai Saratoga, CA, USA
Vadim Zaliva
Formally verified operator language and rewriting engine for high-performance computing
vzaliva
OCaml Tetris
Simple TCP proxy
