Skip to content
View lunalunaa's full-sized avatar
57 followers · 47 following
  • Toronto

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report lunalunaa

Report abuse

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

Report abuse
lunalunaa/README.md

Hi there 👋 I'm Luna.

Pinned Loading

  1. aya-prover/aya-dev aya-prover/aya-dev Public

    A proof assistant and a dependently-typed language

    Java 345 23

  2. raytracer-weekend raytracer-weekend Public

    Rust