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-componentsjhc-components PublicJHC Haskell compiler split into reusable components 
- 
      
- 
      proteaaudioproteaaudio PublicSimple audio library for Windows, Linux, OSX. Supports Mp3, Ogg, Wav playback and multichannel mixing. 
- 
      manual-stg-experimentmanual-stg-experiment PublicManually constructed STG programs compiled with the standard GHC codegen backend. 
- 
      p4f-control-flow-analysisp4f-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.


