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:
- 何老师算法课笔记☆11Jan 11, 2021Updated 5 years ago
- 微助教签到☆12Apr 1, 2024Updated last year
- RISC-V Proxy Kernel for Education☆28Dec 5, 2023Updated 2 years ago
- A simple SAT solver based on the CDCL algorithm☆19Sep 10, 2019Updated 6 years ago
- School of cyber science and engineer OS course experiences. 华中科技大学网安学院操作系统课程系列实验.☆21Apr 30, 2022Updated 3 years ago
- My solutions to problems in Programming Pearls (Jon Bentley)☆12Apr 16, 2020Updated 5 years ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- A compiler for a subset of C11 language. Under development...☆13Jan 19, 2024Updated 2 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆13Mar 30, 2024Updated last year
- ☆12Sep 8, 2025Updated 5 months ago
- A simple resume template written in LaTeX☆184Jul 25, 2020Updated 5 years ago
- 主要是自己看过的一些论文，同时做了对应的思维导图，以供大家参考学习。☆14May 15, 2022Updated 3 years ago
- MQTT协议的Broker(服务器)端实现，单机最低可支持2w+并发连接数，支持SSL加密及WebSocket连接。与Eclipse的Mosquitto功能类似，但拥有更高的并发承受能力。☆13Mar 8, 2022Updated 3 years ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 3 years ago
- 基于Netfilter的防火墙：可根据规则拦截记录流量包，具有NAT功能☆12Feb 20, 2021Updated 5 years ago
- ☆15Jan 10, 2024Updated 2 years ago
- NCNN Android SinglePoseEstimation Demo☆15Apr 26, 2020Updated 5 years ago
- A prototyping environment that runs an emulated NVMe device☆13Oct 6, 2017Updated 8 years ago
- NVMe-oF Target Configuration Utility for Linux☆13May 3, 2025Updated 9 months ago
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆15Dec 5, 2023Updated 2 years ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆19Sep 12, 2024Updated last year
- ☆14Jan 22, 2024Updated 2 years ago
- Anitabi 告别繁琐的行前准备，轻松开启你的动画圣地巡礼之旅！☆23Jul 24, 2025Updated 7 months ago
- An implementation of SGEMV with performance comparable to cuBLAS.☆12May 21, 2021Updated 4 years ago
- RDMA-Based RPC☆15Sep 1, 2023Updated 2 years ago
- ☆17Dec 12, 2021Updated 4 years ago
- 华中科技大学计算机学院计算机组成原理课设（RISC-V）☆11Mar 5, 2022Updated 3 years ago
- Vision Transformer-Inspired Automated Vulnerability Repair☆19May 13, 2025Updated 9 months ago
- Simple SAT solver with CDCL implemented in Python☆19Jan 5, 2023Updated 3 years ago
- Code release for RobOT (ICSE'21)☆15Dec 5, 2022Updated 3 years ago
- C++ bindings for libibverbs☆18Jun 2, 2023Updated 2 years 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
- A deep learning model that generates descriptions of an image.☆20Mar 11, 2021Updated 4 years ago
- 美赛爬虫，美国大学生数学建模竞赛证书爬取及信息OCR识别分析☆18Jun 25, 2022Updated 3 years ago
- HUST-2022-组原课程设计：单周期CPU->支持动态分支预测的五段流水CPU+团队任务（2048）☆15Dec 7, 2022Updated 3 years ago
- Neural Program Repair with Execution-based Backpropagation http://arxiv.org/pdf/2105.04123☆25Dec 19, 2022Updated 3 years ago
- The PSC particle-in-cell code☆23Feb 21, 2026Updated last week
- FusionFS: Fusing I/O Operations using CISCOps in Firmware File Systems, FAST '22☆19Apr 10, 2022Updated 3 years ago
- A series of TeX templates for undergraduate thesis at HUST.☆91Sep 24, 2024Updated last year