• @bra_cat_ket

    A Haskell, Maxima lover, PhD in physics. About to leave qiita, perhaps.

  • Kaiko@kaiko_math

    HaskellとAgdaを学び始めた大学院生

  • ringo apo@ringo-apo

    VBA, C#, Java, Scala, Kotlinを勉強しています。

  • @lotz

    凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます

  • あいや aiya000@aiya000

    Neovim, 型システム, Haskell, Idris, TypeScript, Monad, 圏論, Claude Code, Devin, Vue, Nuxt, 自動テスト, メンテナンス性, フロントエンド, フルスタック, Effect System, React, Scala, YazawaNico

  • Tom Kid@TomKid

    bash vim System Verilog HLS C C++ haskell etc ...

  • @N0_0b

    趣味でやってる学生