Skip to content
View noti0na1's full-sized avatar
⌨️
Typing
⌨️
Typing
45 followers · 179 following
  • EPFL
  • LAMP

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Highlights

  • Pro

Organizations

@scala @lampepfl @dotty-staging
Block or Report

Block or report noti0na1

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

Pinned

  1. scala/scala3 scala/scala3 Public

    The Scala 3 compiler, also known as Dotty.

    Scala 5.7k 1k

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

    Adding extensions to DOT calculus

    HTML 23 8

  3. socc socc Public

    Simple C Compiler in OCaml

    OCaml 85 8

  4. LambdaCalculus-java LambdaCalculus-java Public

    Lambda calculus implemented in Java

    Java 19 3

  5. Faux-Racket Faux-Racket Public

    A Monadic Interpreter for Faux Racket written in Haskell

    Haskell 4

  6. Kripke-Models Kripke-Models Public

    A Racket Implement of Kripke Models

    Racket 6