☆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:
- ☆10Sep 24, 2019Updated 6 years ago
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆10Jul 6, 2023Updated 3 years ago
- Xidian University TeX Suite 西安电子科技大学LaTeX套装☆1,131May 4, 2025Updated last year
- ☆14Jun 10, 2025Updated last year
- Modified Pytorch Lightning implementation of paper:-https://jcheminf.biomedcentral.com/track/pdf/10.1186/s13321-019-0407-y☆10Dec 22, 2020Updated 5 years ago
- 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.
- Ranking LLM-Generated Loop Invariants for Program Verification.☆13Aug 20, 2024Updated last year
- IEEE S&P 2023 - DEVFUZZ: Automatic Device Model-Guided Device Driver Fuzzing☆13Dec 16, 2024Updated last year
- Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware☆13Mar 6, 2024Updated 2 years ago
- Examples for NASAC 2019 interrupt race detection competition☆10Dec 4, 2019Updated 6 years ago
- Neural Message Passing for NMR Chemical Shift Prediction☆11Aug 10, 2022Updated 4 years ago
- Reinforcement Learning environment for Congestion Control with ContainerNet☆12May 21, 2024Updated 2 years ago
- [ICCV 2023] Deep Equilibrium Object Detection☆28Jun 18, 2025Updated last year
- The code to generate ground truth depth map by using projections☆14Mar 6, 2023Updated 3 years ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆19Oct 5, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 📜 [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
- Learn 1D to 2D FDTD from online courses☆15Apr 12, 2020Updated 6 years ago
- LoCoBench-Agent: An Interactive Benchmark for LLM Agents in Long-Context Software Engineering☆22Jun 2, 2026Updated 2 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
- Unsupervised Monocular Depth Estimation for Night-time Images using Adversarial Domain Feature Adaptation☆17Jul 7, 2022Updated 4 years ago
- Python package which accelerates OpenCV image filtering functions for the PYNQ framework☆50Aug 7, 2018Updated 8 years ago
- The automation major at SUSTech. Courses, competitions, further studies, and employment related to the automation major. 南科大自动化专业非官方主页☆21Aug 12, 2025Updated 11 months ago
- Cebinae: Scalable In-network Fairness Augmentation (SIGCOMM 2022)☆22Jul 2, 2022Updated 4 years ago
- (NeurIPS 2024) Happy: A Debiased Learning Framework for Continual Generalized Category Discovery☆47Nov 25, 2025Updated 8 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- [RecSys 2021] PyTorch Implementation of Black-Box Attacks on Sequential Recommenders via Data-Free Model Extraction☆41Sep 6, 2021Updated 4 years ago
- ☆32Apr 2, 2024Updated 2 years ago
- Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages☆27Mar 18, 2026Updated 4 months ago
- CodeOCR: On the Effectiveness of Vision Language Models in Code Understanding [ISSTA 2026]☆30Feb 2, 2026Updated 6 months ago
- ☆17Oct 8, 2024Updated last year
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 9 months ago
- MultiFuzz: A Multi-stream Fuzzer For Testing Monolithic Firmware☆44Jul 1, 2026Updated last month
- A library for implementing CCP-compatible datapaths.☆29Nov 14, 2021Updated 4 years ago
- a-deep-rl-approach-for-sdn-routing-optimization: with actor-critic algorithms☆22Dec 3, 2018Updated 7 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.
- A delay monitoring module for SDN in Ryu☆20May 1, 2017Updated 9 years ago
- ☆24Dec 15, 2025Updated 7 months ago
- Towards Universal Internet Congestion Control Benchmarking ...☆23Aug 11, 2023Updated 2 years ago
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆30Sep 3, 2024Updated last year
- ☆32Jul 25, 2026Updated 2 weeks ago
- A Simple CDCL Solver☆37Mar 8, 2023Updated 3 years ago
- Runtime verification tool for Solidity smart contracts.☆33Mar 29, 2023Updated 3 years ago