☆28Sep 22, 2023Updated 3 years ago
Alternatives and similar repositories for Software_Engineering_Books
Users that are interested in Software_Engineering_Books are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Data race skeletons from Uber's Go codebase for research in concurrency bug detection and analysis.☆11May 27, 2025Updated last year
- [TMLR] CiPR: An Efficient Framework with Cross-instance Positive Relations for Generalized Category Discovery☆12Mar 25, 2024Updated 2 years ago
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆10Jul 6, 2023Updated 3 years ago
- ☆10Sep 19, 2023Updated 3 years ago
- Xidian University TeX Suite 西安电子科技大学LaTeX套装☆1,147May 4, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Modified Pytorch Lightning implementation of paper:-https://jcheminf.biomedcentral.com/track/pdf/10.1186/s13321-019-0407-y☆10Dec 22, 2020Updated 5 years ago
- ☆15Jun 10, 2025Updated last year
- Ranking LLM-Generated Loop Invariants for Program Verification.☆13Aug 20, 2024Updated 2 years ago
- An official implementation of "SpatialASM: Internalizing Active Mentalization for Spatial Reasoning"☆28Oct 17, 2026Updated 2 weeks ago
- 一些数学建模常用的matlab算法☆11Mar 13, 2020Updated 6 years ago
- A windows input-method-editor based on windows hook and direct2d and directwrite.☆14Jun 12, 2024Updated 2 years ago
- ☆13May 27, 2019Updated 7 years ago
- Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware☆13Mar 6, 2024Updated 2 years ago
- Pipeline for automatic test generation assessment☆11Mar 10, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Neural Message Passing for NMR Chemical Shift Prediction☆11Aug 10, 2022Updated 4 years ago
- CMU15445笔记☆11Dec 11, 2023Updated 2 years ago
- 数理逻辑课程大作业（西安电子科技大学拔尖班大三年级）☆14Jan 31, 2026Updated 9 months ago
- Official code for "DiffX: Guide Your Layout to Cross-Modal Generative Modeling"☆23Feb 20, 2025Updated last year
- Examples for NASAC 2019 interrupt race detection competition☆10Dec 4, 2019Updated 6 years ago
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆15Dec 5, 2023Updated 2 years ago
- [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing☆24Dec 3, 2024Updated last year
- kGymSuite: Evaluating Linux Patches at Scale ⚡☆18May 8, 2026Updated 5 months ago
- The first blockchain to support both the EVM and Ewasm virtual machines for current and next-gen Ethereum. Based on the CyberMiles blockc…☆16Dec 23, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [CVPR-2026] DiverseDiT: Towards Diverse Representation Learning in Diffusion Transformers☆24Oct 15, 2026Updated 2 weeks ago
- ☆16Aug 30, 2022Updated 4 years ago
- [ICSE 2026] [ACM SIGSOFT Distinguished Paper Award] SWE-Synth: Synthesizing Verifiable Bug-Fix Data to Enable Large Language Models in Re…☆23Apr 22, 2025Updated last year
- Cebinae: Scalable In-network Fairness Augmentation (SIGCOMM 2022)☆22Jul 2, 2022Updated 4 years ago
- The automation major at SUSTech. Courses, competitions, further studies, and employment related to the automation major. 南科大自动化专业非官方主页☆22Aug 12, 2025Updated last year
- ☆17Oct 8, 2024Updated 2 years ago
- ☆32Apr 2, 2024Updated 2 years ago
- A library for implementing CCP-compatible datapaths.☆29Nov 14, 2021Updated 4 years ago
- Here is a note in learning the Cherno C++.☆40Apr 25, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 西安电子科技大学本科生毕业论文（设计）开题报告LaTeX模板☆50Mar 9, 2022Updated 4 years ago
- Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages☆30Mar 18, 2026Updated 7 months ago
- [AAAI 2023] Generalized Category Discovery with Decoupled Prototypical Network☆34Jun 22, 2024Updated 2 years ago
- Knowledge-sharing platform for CS & AI☆32Sep 3, 2026Updated last month
- CodeOCR: On the Effectiveness of Vision Language Models in Code Understanding [ISSTA 2026]☆32Feb 2, 2026Updated 8 months ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆37Oct 27, 2025Updated last year
- Towards Universal Internet Congestion Control Benchmarking ...☆23Aug 11, 2023Updated 3 years ago