masterq
寄付はこちらから https://www.patreon.com/metasepi
eldesh
アレゲを目指すC++, ML, VeriFastプログラマ
shinji_kono
shinji_leo_kono for English 沖縄在住ですが、東京にもいます。 ht...
Metasepi
組み込み/関数型プログラミング/コード検証などの話題を扱うコミュニティです
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら