Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.
☆14Apr 9, 2021Updated 4 years ago
Alternatives and similar repositories for HustProgramDesign
Users that are interested in HustProgramDesign are comparing it to the libraries listed below
Sorting:
- A simple SAT solver based on the CDCL algorithm☆19Sep 10, 2019Updated 6 years ago
- 华中科技大学计算机学院数据结构前三次实验全部，及第四实验报告，及课程设计SAT问题☆43Nov 13, 2019Updated 6 years ago
- A compiler for a subset of C11 language. Under development...☆13Jan 19, 2024Updated 2 years ago
- Vulnerability database generator: a submodule for VUDDY☆14May 28, 2024Updated last year
- Using SVF in Python Projects☆15Updated this week
- MQTT协议的Broker(服务器)端实现，单机最低可支持2w+并发连接数，支持SSL加密及WebSocket连接。与Eclipse的Mosquitto功能类似，但拥有更高的并发承受能力。☆13Mar 8, 2022Updated 4 years ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆19Sep 12, 2024Updated last year
- A python model to detect and segment coughs, forked from coughvid's repo☆15Oct 24, 2024Updated last year
- Submit your health status to your fucking department everyday☆11Aug 24, 2022Updated 3 years ago
- 华中科技大学计算机网络实验2019级☆12Oct 24, 2022Updated 3 years ago
- 基于Netfilter的防火墙：可根据规则拦截记录流量包，具有NAT功能☆12Feb 20, 2021Updated 5 years ago
- A simple resume template written in LaTeX☆185Jul 25, 2020Updated 5 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆17Mar 30, 2024Updated last year
- A tool for converting Python source code to opcode(pickle)☆21Updated this week
- ☆12Mar 12, 2026Updated last week
- Integrates python-clamd with Django for easy scanning files for viruses on upload☆17Mar 13, 2026Updated last week
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 3 years ago
- 软件杯全国二等奖。异构数据可视化平台。微服务☆11Jul 13, 2021Updated 4 years ago
- example using mosquitto MQTT client library☆15Sep 17, 2017Updated 8 years ago
- Linux热补丁实践☆18Jun 11, 2019Updated 6 years ago
- 华中科技大学网络安全课程设计-Linux下的状态检测防火墙☆11Oct 17, 2022Updated 3 years ago
- Python OpenIOC Editor☆18Dec 28, 2015Updated 10 years ago
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆15Dec 5, 2023Updated 2 years ago
- Small repository to show Flex, Bison and LLVM usage examples☆14Oct 25, 2016Updated 9 years ago
- Simple SAT solver with CDCL implemented in Python☆19Jan 5, 2023Updated 3 years ago
- ☆14Jan 22, 2024Updated 2 years ago
- Vision Transformer-Inspired Automated Vulnerability Repair☆19May 13, 2025Updated 10 months ago
- Seq2seqAttGeneration, an basic implementation of text generation that using seq2seq attention model to generate poem series. this project…☆18Jan 11, 2021Updated 5 years ago
- Chirpy Jekyll Theme 在 Leanote 上的移植☆13Aug 7, 2023Updated 2 years ago
- Everything related to Bookalope and its REST API.☆15May 16, 2021Updated 4 years ago
- ☆17Dec 12, 2021Updated 4 years ago
- [SANER 2023] MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation☆15Jul 13, 2024Updated last year
- Anitabi 告别繁琐的行前准备，轻松开启你的动画圣地巡礼之旅！☆23Jul 24, 2025Updated 7 months ago
- Personal Modern Poems,65 modern chinese pomes composed by myself which names '听说'<listening> that expresses the thought of life, love and…☆15Dec 23, 2018Updated 7 years ago
- 华中科技大学2019网络安全课程设计(基于netfilter的防火墙系统)☆65Oct 30, 2019Updated 6 years ago
- 美赛爬虫，美国大学生数学建模竞赛证书爬取及信息OCR识别分析☆18Jun 25, 2022Updated 3 years ago
- 华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem☆37Sep 4, 2019Updated 6 years ago
- Thallium is a C++14 library wrapping Margo, Mercury, and Argobots and providing an object-oriented way to use these libraries.☆14Mar 3, 2026Updated 2 weeks ago