csabahruska Goto Github PK
Name: Csaba Hruska
Type: User
Bio: I'm a software engineer and I'm keen on doing research and development. I work on compilers and static analyses. I like Haskell, Idris2 and machine code.
Twitter: csaba_hruska
Location: London