☆29Sep 22, 2023Updated 2 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:
- Xidian University TeX Suite 西安电子科技大学LaTeX套装☆1,126May 4, 2025Updated last year
- ☆10Sep 24, 2019Updated 6 years ago
- ☆14Jun 10, 2025Updated last year
- Theano implementation of Memory Networks☆19Feb 21, 2017Updated 9 years ago
- Examples for NASAC 2019 interrupt race detection competition☆10Dec 4, 2019Updated 6 years ago
- 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.
- Neural Message Passing for NMR Chemical Shift Prediction☆11Aug 10, 2022Updated 3 years ago
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆15Dec 5, 2023Updated 2 years ago
- Reinforcement Learning environment for Congestion Control with ContainerNet☆12May 21, 2024Updated 2 years ago
- 移动推荐算法,以阿里巴巴移动电商平台的真实用户-商品行为数据为基础,同时提供移动时代特有的位置信息,希望你能够挖掘数据背后丰富的内涵,为移动用户在合适的时间、合适的地点精准推荐合适的内容。☆26May 27, 2026Updated 2 weeks ago
- [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing☆23Dec 3, 2024Updated last year
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆18Oct 5, 2021Updated 4 years ago
- The code to generate ground truth depth map by using projections☆13Mar 6, 2023Updated 3 years ago
- Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages☆25Mar 18, 2026Updated 2 months ago
- 📜 [NeurIPS 2022] "Symbolic Distillation for Learned TCP Congestion Control", S P Sharan, Wenqing Zheng, Kuo-Feng Hsu, Jiarong Xing, Ang …☆16Oct 13, 2022Updated 3 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.
- 使用OpenMP及MPI完成的几个并行程序设计小实验:矩阵相乘、矩阵LU分解、文档分类中的文档向量过程☆29Feb 21, 2021Updated 5 years 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
- ☆242Dec 24, 2023Updated 2 years ago
- Unsupervised Monocular Depth Estimation for Night-time Images using Adversarial Domain Feature Adaptation☆17Jul 7, 2022Updated 3 years ago
- Flash Artifact for SIGCOMM22☆14Jun 14, 2022Updated 3 years ago
- 提供一份稍完整的xduts参考示例,供西电学子入门xduts使用☆42Apr 17, 2024Updated 2 years ago
- [TOSEM'26] Awesome-LLM4SVD from "A Systematic Literature Review on Detecting Software Vulnerabilities with Large Language Models"☆72May 21, 2026Updated 2 weeks ago
- 完全AI驱动的 DeepWiki ,使用 Go + Eino 技术栈开发☆90Mar 26, 2026Updated 2 months ago
- 2019年全国大学生数学建模竞赛 A题 (高压油管的压力控制 )(国一&优秀论文)☆15May 26, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Cebinae: Scalable In-network Fairness Augmentation (SIGCOMM 2022)☆22Jul 2, 2022Updated 3 years ago
- ☆25Nov 18, 2025Updated 6 months ago
- ☆17Oct 8, 2024Updated last year
- ☆58Apr 12, 2026Updated last month
- ☆32Apr 2, 2024Updated 2 years ago
- CUMCM 2010年-2024年全国大学生数学建模竞赛论文和源代码(Paper and source code for the 2010-2023 National College Student Mathematical Modeling Competition)☆49Jun 28, 2025Updated 11 months ago
- A library for implementing CCP-compatible datapaths.☆29Nov 14, 2021Updated 4 years ago
- 西安电子科技大学本科生毕业论文(设计)开题报告LaTeX模板☆51Mar 9, 2022Updated 4 years ago
- ☆22Mar 24, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 2020秋中山大学高性能计算课程课件与作业☆48Jan 25, 2021Updated 5 years ago
- Runtime verification tool for Solidity smart contracts.☆34Mar 29, 2023Updated 3 years ago
- TMgen is a tool for generating spatial, temporal, and spatio-temporal traffic matrices.☆27Jun 18, 2025Updated 11 months ago
- ☆34Feb 27, 2023Updated 3 years ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆48Nov 16, 2023Updated 2 years ago
- Framework for testing the Mininet network simulator.☆36Dec 7, 2013Updated 12 years ago
- ☆27Jul 27, 2022Updated 3 years ago