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.
Popular repositories Loading
-
jhc-components
jhc-components PublicJHC Haskell compiler split into reusable components
-
-
proteaaudio
proteaaudio PublicSimple audio library for Windows, Linux, OSX. Supports Mp3, Ogg, Wav playback and multichannel mixing.
-
manual-stg-experiment
manual-stg-experiment PublicManually constructed STG programs compiled with the standard GHC codegen backend.
-
p4f-control-flow-analysis
p4f-control-flow-analysis PublicHaskell implementation of P4F Control-Flow Analysis
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.