Skip to content
View Linyxus's full-sized avatar
160 followers · 24 following

Achievements

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

Achievements

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

Highlights

  • Pro

Organizations

@easter-mips @CoordML @PyGCL @WikiMegrez @paddorch

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

  • Doing my PhD at LAMP, EPFL.
  • A type theorist apprentice. Scala's type system is my primary focus. Developing the next generation of Capturing Types to bring resource and effect tracking to the masses.
  • When I'm not occupied with doing induction, induction and induction on derivation trees, I submit patches to the Scala 3 compiler.
  • Before diving into PL, I did research in machine learning, more specifically graph neural networks and pretraining LLMs for coding and theorem proving, 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 6.1k 1.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 947 98

  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 332 53

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

    A full-featured MIPS cache implemented in Chisel3.

    Scala 2 1

  6. mltt mltt Public

    A tiny MLTT theorem prover

    Scala 3