Skip to content
View RINNE-TAN's full-sized avatar
🎯
Focusing
🎯
Focusing
70 followers · 167 following
  • Pivot Studio

Achievements

Achievement: YOLOAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pull Sharkx2

Organizations

@Pivot-Studio

Block or report RINNE-TAN

Report abuse

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

Report abuse
RINNE-TAN/README.md

Profile of kamome

  • Current status: undergraduate (seeking full-time employment in compiler-related positions)

Interests && Stack

  • compiler construction
  • type theory
  • Golang, Rust, Scala: main language
  • Haskell, Coq: still learning

I’m currently work on pivot-lang

Pinned Loading

  1. hpie hpie Public

    Minimal implementation of Pie language

    Haskell 5

  2. mlcps mlcps Public

    CPS transformer for ML language

    Haskell 7

  3. STLC STLC Public

    Formal proof of STLC type soundness (progress and preservation) using Coq.

    Coq 4

  4. msp msp Public

    A toy compiler for Multi-Stage Programming

    MoonBit 7

  5. collapsing-towers collapsing-towers Public

    Lean 7

  6. lms-clean lms-clean Public

    Forked from TiarkRompf/lms-clean

    Scala