Nothing Special   »   [go: up one dir, main page]
Skip to content
View Tritlo's full-sized avatar
133 followers · 49 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

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 functional programmer / researcher 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 Loading

  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 3.1k 708

  2. PropR PropR Public

    Genetic program repair using GHC

    Haskell 30 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