Beast code in Giters

Summer Sue's starred repositories

《Hello 算法》：动画图解、一键运行的数据结构与算法教程。支持 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 代码。简体版和繁体版同步更新，English version ongoing

Language:JavaNOASSERTION9594100

A Powerful and All-in-One MQTT 5.0 client toolbox for Desktop, CLI and WebSocket.

Language:TypeScriptApache-2.0383200

Tinyhttpd 是J. David Blackstone在1999年写的一个不到 500 行的超轻量型 Http Server，用来学习非常不错，可以帮助我们真正理解服务器程序的本质。官网:http://tinyhttpd.sourceforge.net

Language:CGPL-3.01130800

A biblatex implementation of the GB/T7714-2015 bibliography style || GB/T 7714-2015 参考文献著录和标注的biblatex样式包

Language:TeX76100

JavaBDD: A Java library for Binary Decision Diagrams (BDDs)

Language:JavaNOASSERTION500

JavaBDD 的应用，包括：电路正确性验证、布尔函数运算，以及 CTL 模型检验。基于 SpringBoot 框架，使用 Graphviz 可视化。

Language:HTMLGPL-3.0300

Links to tools by subject

CC0-1.036600

A simple model-checking algorithm with a CTL* (CTL star) parser for temporal formulas.

Language:C300

CCF CSP和PAT考试题解（使用C++14语法）

Language:C++73500

酷欧天气是一款基于Android端开源的天气预报软件

Language:JavaApache-2.051200