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 12 repositories owned by Joomy Korkut

direct-reflection-for-free

15
Stars
1
Forks
Watchers

using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell

verified publisher icon joom

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