verimqtt, a formally verified mqtt library written in F*.一定の条件下であればバグがないMQTT実装。
-
Updated
Nov 18, 2020 - F*
#
kremlin
Here are 4 public repositories matching this topic...
This repository allows collecting the EUvsDisinfo dataset and reproducing the research experiments presented in the paper 'EUvsDisinfo: A Dataset for Multilingual Detection of Pro-Kremlin Disinformation in News Articles' published at CIKM 2024.
-
Updated
Jul 28, 2025 - Python
Finding sources and spreaders of misinformation about the war in Ukraine
-
Updated
Feb 28, 2022
Media environment creation April 14, 2025
trump reddit media mastodon russia reality putin foxnews bluesky trump-tweets kremlin whitehouse massmind massman surkov mediaecology neilpostman
-
Updated
Nov 7, 2025 - Python
Improve this page
Add a description, image, and links to the kremlin topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the kremlin topic, visit your repo's landing page and select "manage topics."