Csongor Kiss

Generically derive traversals, lenses, and prisms.

kcsongor

Doom-like engine on Raspberry Pi, in pure bare metal assembly

kcsongor

Experimental record formatting from type-level format strings

kcsongor

Safe printf-like formatting in purescript

kcsongor

Universal Register Machine implemented at the type-level of Haskell

kcsongor

Symbol manipulation

kcsongor

Standard module for type-level programming in Haskell

kcsongor