Skip to content
View wasabi315's full-sized avatar
46 followers · 79 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report wasabi315

Report abuse

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

Report abuse
wasabi315/README.md

こんにちは 👋, I'm Satoshi Takimoto

A doctoral student at Institute of Science Tokyo (formerly Tokyo Institute of Technology), interested in (functional) programming languages

🛠 Language and tools

haskell logo ocaml logo agda logo rust logo typescript logo javascript logo react logo vuejs logo

🔥 My Stats :



🏆 GitHub Trophies

Pinned Loading

  1. wasabi315.github.io wasabi315.github.io Public

    wasabi315's personal page

    MDX 1

  2. type-search-zoo type-search-zoo Public

    A collection of type-based library search algorithms

    Haskell 11

  3. coverage-checking coverage-checking Public

    Agda 2

  4. lazy lazy Public

    STG-like lazy evaluation mechanism in JavaScript

    JavaScript 1

  5. LkProver LkProver Public

    OCaml 2

  6. Hasche Hasche Public

    A lisp interpreter written in Haskell

    Haskell 2