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

Achievements

Achievement: YOLOAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pull Sharkx2

Organizations

@Pivot-Studio

Block or report RINNE-TAN

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
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 6

点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载