Joomy Korkut

icon indicating a website link http://joomy.korkutblech.com icon indicating an email [email protected]

icon company @Bloomberg icon location New York City icon location Formal verification and programming languages researcher.

Results 76 repositories owned by Joomy Korkut

dilim

15
Stars
0
Forks
Watchers

A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.

verified publisher icon joom