Pinned Repositories
esp32PortableWebServer
持ち運び可能な Web サーバ! Bluetooth 経由で Web サイトを更新するので, インターネットがない環境でも動作する.災害時に電子掲示板(スマホあれば一定範囲, 複数人で見れるし)の役目を担えるかも。
genTest
GoとPythonの文法の良いところを合わせたプログラミング言語。将来的にはテスト専用言語にしたい。
history-tidy
Tidy history list with tags
liveCoding-capture
プログラムを開発する際に利用する、プログラムの作成過程や、CUIへのコマンド入力を記録しそれを動画のように閲覧できるようにするサービス。
rbxlx-to-rojo-json
Convert Rbxlx files to Rojo's project JSON format.
TakuKitamura
ttool-fstar
verimqtt
verimqtt, a formally verified mqtt library written in F*.一定の条件下であればバグがないMQTT実装。
watchOverleaf
オンラインLateXエディタOverleafの無償版(OSS)の機能をフックし、Gitでの文書差分管理機能を追加した。Overleafの有償版ならその機能があるが、それを無料で使いたかったので自分で作ることにした。研究室用だったがOSS化。
TakuKitamura's Repositories
TakuKitamura/watchOverleaf
オンラインLateXエディタOverleafの無償版(OSS)の機能をフックし、Gitでの文書差分管理機能を追加した。Overleafの有償版ならその機能があるが、それを無料で使いたかったので自分で作ることにした。研究室用だったがOSS化。
TakuKitamura/rbxlx-to-rojo-json
Convert Rbxlx files to Rojo's project JSON format.
TakuKitamura/TakuKitamura
TakuKitamura/ttool-fstar
TakuKitamura/antlion
自作SSHハニーポット
TakuKitamura/iBUFFALO-BSGP1204-Series-Mac-Driver
TakuKitamura/my-ctf
TakuKitamura/verimqtt
verimqtt, a formally verified mqtt library written in F*.一定の条件下であればバグがないMQTT実装。
TakuKitamura/esp32PortableWebServer
持ち運び可能な Web サーバ! Bluetooth 経由で Web サイトを更新するので, インターネットがない環境でも動作する.災害時に電子掲示板(スマホあれば一定範囲, 複数人で見れるし)の役目を担えるかも。
TakuKitamura/genTest
GoとPythonの文法の良いところを合わせたプログラミング言語。将来的にはテスト専用言語にしたい。
TakuKitamura/history-tidy
Tidy history list with tags
TakuKitamura/analyze-RT-AC68U-firewall-log
Script to analyze RT-AC68U's firewall logs to see which TCP/UDP ports are being attacked.
TakuKitamura/call-rust-from-c
TakuKitamura/edrSystemSim
TakuKitamura/historyGUI
TakuKitamura/liveCoding-web
TakuKitamura/misraC-Checker
TakuKitamura/myChat
TakuKitamura/object-utils
Polyfills for Object functions
TakuKitamura/one-time-shiritori
TakuKitamura/proverif-kit
TakuKitamura/sandbosh
Self-made shell Sandbox.
TakuKitamura/socketCANSim
TakuKitamura/TinyGPSPlus
A new, customizable Arduino NMEA parsing library
TakuKitamura/twemoji
Emoji for everyone. https://twemoji.twitter.com/
TakuKitamura/verified-edr
TakuKitamura/verified-edr-diff
TakuKitamura/verified-edr-fuzzing
TakuKitamura/verimqtt-c
TakuKitamura/znc
Official repository for the ZNC IRC bouncer