Skip to content
View aiya000's full-sized avatar
🐶
Inu
🐶
Inu
166 followers · 54 following

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report aiya000

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
aiya000/README.md

にっこにっこにー🤟🙄🤟
Moggiと''love''で接近中!

Webフロントエンド、静的型付けエンジニアです。 静的型付き言語・型システムに強い興味があります！

  • ✨ Vim ✨

    • Vimプラグインをいくつか作っています

  • ✨ Haskell ✨

    • すき: lens, megaparsec

  • ✨ TypeScript ✨

    • すき: Nuxt.js, Vue.js

  • 💠 自己紹介2023 💠

Products

Books

【「せつラボ」シリーズを執筆中✨ -- 数学および圏論の初歩入門書】
💠 https://aiya000.booth.pm/items/1316747 💠
💠 https://aiya000.booth.pm/items/1298622 💠

【「矢澤にこ先輩といっしょに代数！」を執筆！ -- 代数的構造についての初歩入門書】
💠 https://aiya000.booth.pm/items/1575006 💠
💠 https://aiya000.booth.pm/items/1575006 💠

Working

Detail

履歴書（Working curriculum vitae）
💠 https://github.com/aiya000/Curriculum-Vitae/blob/master/README.md 💠

About

  • 仕事

    • フロントエンドエンジニア（現）
    • フルスタックエンジニア（旧）

  • 趣味

    • 数学（圏論）
    • 技術書執筆

  • すき

    • ✨ Vim ✨
    • ✨ Haskell ✨
      • lens, servant, mtl, megaparsec
    • ✨ TypeScript ✨
      • Nuxt.js, Vue.js
    • Idris, Scala, Kotlin
    • VRChat
    • YazawaNico

  • その他

Popular repositories Loading

  1. hs-time-script hs-time-script Public

    Time script = Vim script + static typing

    Haskell 47 1

  2. nico-lang nico-lang Public

    Nico-lang is the programing language of Nico Yazawa

    Haskell 31

  3. vim-ghcid-quickfix vim-ghcid-quickfix Public

    Increse your Haskell development via ghcid!

    Vim Script 30 5

  4. vim-quickrepl vim-quickrepl Public

    The Simplest Faster way to open your REPL for filetypes.

    Vim Script 19

  5. dotfiles dotfiles Public

    my dotfiles for public.

    Vim Script 16

  6. aiya000.github.io-old aiya000.github.io-old Public

    my blog

    HTML 16 4