Skip to content
View noti0na1's full-sized avatar
⌨️
Typing
⌨️
Typing
62 followers · 228 following
  • EPFL
  • Lausanne
  • 13:55 (UTC -12:00)

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@scala @lampepfl @dotty-staging

Block or report noti0na1

Report abuse

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

Report abuse

Pinned Loading

  1. scala/scala3 scala/scala3 Public

    The Scala 3 compiler, also known as Dotty.

    Scala 6.2k 1.2k

  2. amaurremi/dot-calculus amaurremi/dot-calculus Public

    Adding extensions to DOT calculus

    HTML 24 8

  3. lampepfl/tacit lampepfl/tacit Public

    TACIT — Tracked Agent Capabilities In Types

    Scala 22 4

  4. SafeAgent SafeAgent Public

    Scala 5 1