-
-
-
-
fws2024-fstar-intro Public
FWS2024 形式検証とセキュリティ ワークショップ(https://www.iwsec.org/fws/2024/) での、発表「F*言語による プログラム検証入門」で利用するF*言語プログラム
F* MIT License UpdatedOct 22, 2024 -
twemoji Public
Forked from twitter/twemojiEmoji for everyone. https://twemoji.twitter.com/
HTML MIT License UpdatedJan 10, 2023 -
TinyGPSPlus Public
Forked from mikalhart/TinyGPSPlusA new, customizable Arduino NMEA parsing library
C++ UpdatedOct 20, 2022 -
-
-
-
-
-
-
-
-
-
-
-
-
-
Official repository for the ZNC IRC bouncer
C++ Apache License 2.0 UpdatedOct 24, 2021 -
watchOverleaf Public
オンラインLateXエディタOverleafの無償版(OSS)の機能をフックし、Gitでの文書差分管理機能を追加した。Overleafの有償版ならその機能があるが、それを無料で使いたかったので自分で作ることにした。研究室用だったがOSS化。
-
rbxlx-to-rojo-json Public
Convert Rbxlx files to Rojo's project JSON format.
-
-
Script to analyze RT-AC68U's firewall logs to see which TCP/UDP ports are being attacked.
Python MIT License UpdatedMay 8, 2021 -
esp32PortableWebServer Public
持ち運び可能な Web サーバ! Bluetooth 経由で Web サイトを更新するので, インターネットがない環境でも動作する.災害時に電子掲示板(スマホあれば一定範囲, 複数人で見れるし)の役目を担えるかも。
Swift UpdatedApr 24, 2021 -
-
-
object-utils Public
Forked from roblox-ts/object-utilsPolyfills for Object functions
Lua UpdatedDec 12, 2020 -
verimqtt Public
verimqtt, a formally verified mqtt library written in F*.一定の条件下であればバグがないMQTT実装。
-
{{ message }}