Pinned

1. verimqtt verimqtt Public

   verimqtt, a formally verified mqtt library written in F*.一定の条件下であればバグがないMQTT実装。

   F* 1

2. liveCoding-capture liveCoding-capture Public

   プログラムを開発する際に利用する､プログラムの作成過程や､CUIへのコマンド入力を記録しそれを動画のように閲覧できるようにするサービス｡

   Go 1

3. history-tidy history-tidy Public

   Tidy history list with tags

   Rust

4. genTest genTest Public

   GoとPythonの文法の良いところを合わせたプログラミング言語。将来的にはテスト専用言語にしたい。

   Go

5. esp32PortableWebServer esp32PortableWebServer Public

   持ち運び可能な Web サーバ! Bluetooth 経由で Web サイトを更新するので, インターネットがない環境でも動作する.災害時に電子掲示板(スマホあれば一定範囲, 複数人で見れるし)の役目を担えるかも。

   Swift

6. watchOverleaf watchOverleaf Public

   オンラインLateXエディタOverleafの無償版(OSS)の機能をフックし、Gitでの文書差分管理機能を追加した。Overleafの有償版ならその機能があるが、それを無料で使いたかったので自分で作ることにした。研究室用だったがOSS化。

   Python 3