Skip to content
View Tritlo's full-sized avatar
117 followers · 47 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report Tritlo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Tritlo/README.md

Welcome! 👋

I'm a PhD candidate, currently working on program synthesis, compiler plugins and the GHC compiler. I've also worked on numerous backends in Python and Haskell, with some frontend JS and TypeScript experience as well. Feel free to get in touch on Twitter (@tritlo) if you want to collaborate!

Pinned

  1. ghc/ghc ghc/ghc Public mirror

    Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

    Haskell 3k 701

  2. PropR PropR Public

    Genetic program repair using GHC

    Haskell 28 2

  3. writ-plugin writ-plugin Public

    A type-checker plugin for weak runtime-irrelevant typing in Haskell

    Haskell 7

  4. AdventOfCode2020 AdventOfCode2020 Public

    AdventOfCode2020

    Haskell 3

  5. ExampleHolePlugin ExampleHolePlugin Public

    Haskell 24 1

  6. dynamic-haskell-plugin dynamic-haskell-plugin Public

    Haskell 5