Skip to content
View Linyxus's full-sized avatar
148 followers · 20 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@easter-mips @CoordML @PyGCL @WikiMegrez @paddorch
Block or Report

Block or report Linyxus

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
Linyxus/README.md

This is Linyxus

wakatime

  • A programming language hacker at LAMP.
  • Now, I am doing research around Scala's type systems with a specific emphasis on capture calculus.
  • When I'm not occupied with paper writing and the intricacies of induction on derivation trees, I submit patches to Dotty, the Scala 3 compiler.
  • Prior to embarking on my journey with type systems, I did research in graph machine learning and large code language models, during which I wrote a lot of Python.

Linyxus's wakatime stats

Pinned Loading

  1. scala/scala3 scala/scala3 Public

    The Scala 3 compiler, also known as Dotty.

    Scala 5.7k 1k

  2. fscala2c fscala2c Public

    Bring a subset of Scala to native C!

    Scala 2

  3. PyGCL/PyGCL PyGCL/PyGCL Public

    PyGCL: A PyTorch Library for Graph Contrastive Learning

    Python 858 97

  4. CRIPAC-DIG/GRACE CRIPAC-DIG/GRACE Public

    [GRL+ @ ICML 2020] PyTorch implementation for "Deep Graph Contrastive Representation Learning" (https://arxiv.org/abs/2006.04131v2)

    Python 301 55

  5. easter-mips/EasterCache easter-mips/EasterCache Public

    A full-featured MIPS cache implemented in Chisel3.

    Scala 2 1

  6. haskell-katas haskell-katas Public

    Codewars Katas solved in Haskell

    Haskell