nikosai

View JSON Representation

Funding Links: https://github.com/sponsors/nikosai

• Name: nikosai
• Location: Tokyo, Japan
• Kind: user
• Followers: 13
• Following: 5
• Total stars: 26
• Repositories count: 22
• Created at: 2022-11-11T19:33:03.795Z
• Updated at: 2025-03-09T21:53:25.189Z
• Last synced at: 2025-03-09T21:53:25.189Z

GitHub Sponsors Profile

[Japanese description follows. 下に日本語版もあります]
Hi! I'm Nikosai from Tokyo, Japan.
I'm a master's student majoring in Computer Science (especially in Programming Languages).
Besides, I'm working on OSSs to train my skills.
Main Work — Lambda Friends
I've developed several Web apps with TypeScript + Node.js + Webpack.
Among them, the app named "Lambda Friends" is my biggest work.
Lambda Friends is a web-based interpreter untyped & simply typed lambda calculus.

published with MIT License
written in TypeScript + Webpack, 4400 Lines of Code
Used for education in a required lecture for undergraduates of the Department of Computer Science

And I will mainly work on the following features:

Supporting the simply-typed lambda calculus

To be honest, this is already implemented, but I don't think it's enough and the mode is hidden for now.
In particular, I want to show the derivation tree of types. It might be better if we can see the trees immediately and interactively on the webpage, while current implementation can output LaTeX codes of the trees.

English version

Currently, this software is provided only in Japanese. I strongly want to translate it into English, but this requires hard-working since the software is implemented with raw HTML and I should move it into some modern framework (e.g., React) to implement switching languages.

I want to continue working with this, but it becomes harder because the code is too large for me to keep updated as a hobby.
So, I want you to be a sponsor.
Interests
Furthermore, I'm interested in almost anything (whether it is directly related to Computer Science or not).
In particular, I'm interested in the followings:

Lambda Calculus

describing lambda terms as (hyper-)graphs
visualizing reduction graphs

Mathematical Logics
Education with online judge systems
Others

Classical Music (J.S.Bach, F.Mendelssohn, etc.)
Editing (Proofreading) & Design

日本語版
皆さんこんにちは。現在情報系の修士課程（プログラミング言語を専攻）に在学中のNikosaiです。
研究の傍ら、スキル向上も兼ねてOSSの開発に取り組んでいます。
主なソフトウェア ― らむだフレンズ
これまでTypeScript + Node.js + Webpackでいくつか開発をしてきました。
中でも、「らむだフレンズ」が私の最大の仕事です。
らむだフレンズは、Web上で動く（型なし・単純型付き）ラムダ計算のインタプリタです。

MIT ライセンスで公開
TypeScript + Webpackで約4400行のコード量
情報系の学部生向けの必修講義で、実際に教育目的で使用されている

今後は、主に以下の機能拡張に取り組むつもりです：

単純型付きラムダ計算への対応

実は既に実装済みなのですが、満足の行くものではないので現在は一旦機能を隠しています
特に、型の導出木（証明木）を出力する機能を追加したいと思っています。現実装でも一応LaTeX形式で出力する機能はあるのですが、そうではなく、Webページ上で直接・インタラクティブな形で表示できるようにしたいと思っています

英語版

現在は日本語版のみですが、英語にも翻訳したいと強く思っています。ただ、現状の実装は生のHTMLで書かれているので、これを実装する前に出来ればReactなどのモダンなフレームワークへ移行したいと思っています

私自身この仕事は続けていきたいのですが、ソースコードが肥大化しつつあるので、趣味として続けるのは少し厳しい段階に入っています。
そこで、スポンサーを募集することとしました。
その他興味分野
計算機科学まわりに限らず、様々なものに興味があります。
特に、次のようなことに興味があります：

ラムダ計算

ラムダ項を（ハイパー）グラフとして表現する
簡約グラフを可視化する

数理論理学
オンラインジャッジを用いた教育
その他

クラシック音楽 (J.S.バッハ, F.メンデルスゾーン, etc.)
編集（校正）・デザイン

以上の他に、趣味などの情報は私のホームページにまとめてあります。

• Current Sponsors: 0
• Past Sponsors: 0
• Total Sponsors: 0
• Minimum Sponsorship: $1.00

Featured Works