The definitive edition (for real this time, until next year, electric boogaloo)
☆24Oct 21, 2026Updated last week
Alternatives and similar repositories for continuous-integration2
Users that are interested in continuous-integration2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- APHP: Detecting API Post-Handling Bugs Using Code and Description in Patches（Usenix Security 2023）☆14Jun 21, 2023Updated 3 years ago
- some notes for how to build projects into a single LLVM bitcode file.☆18Jan 16, 2019Updated 7 years ago
- ☆11Sep 8, 2021Updated 5 years ago
- ☆16Mar 14, 2018Updated 8 years ago
- Scout - commmandline tool for command-not-found operations☆13Aug 21, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- My notebook setup using Puppet and basic idea from GitHub Boxen☆11Jan 26, 2016Updated 10 years ago
- List of Linux kernel data races found in recent 5 years☆13Jul 28, 2018Updated 8 years ago
- RustTalk 是一档专注在 Rust 社区的程序员闲聊节目。微信公众号：RustTalk☆12Aug 9, 2026Updated 2 months ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Jan 5, 2024Updated 2 years ago
- ☆13Aug 9, 2023Updated 3 years ago
- HyperPlus Kernel for the Huawei Mate10/Mate 10 Pro☆10May 5, 2018Updated 8 years ago
- ☆13Apr 27, 2019Updated 7 years ago
- Repository for synthCT framework (NDSS'22)☆10Oct 5, 2022Updated 4 years ago
- Collection of files for booting Linux kernels☆33Sep 26, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Note app build with Quasar Framework, Vue js. The PWA is still in development.☆11Jan 15, 2020Updated 6 years ago
- A simplified DNS-over-TLS ( DoT ) UWP tool for Windows 10☆12Jul 23, 2019Updated 7 years ago
- khadas-uboot☆10Sep 22, 2025Updated last year
- ☆11Jan 12, 2017Updated 9 years ago
- ☆12May 20, 2021Updated 5 years ago
- ☆15Dec 29, 2024Updated last year
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Aug 16, 2023Updated 3 years ago
- A compiler of C subset by USTB OWL Wheel Lab.☆13Mar 8, 2026Updated 7 months ago
- mitigation script by disabling ipv6 of all interfaces☆13Aug 15, 2024Updated 2 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.
- A simulation platform for managed applications based on Maxine VM and ZSim☆11Jun 19, 2017Updated 9 years ago
- Custom Kernel for Huawei Honor 9 and P10/P10+☆11Oct 19, 2018Updated 8 years ago
- Header-only C/C++ static keys to avoid the overhead of conditional branches☆14Feb 10, 2024Updated 2 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated last year
- A parser lib that can help your routing rules more readable and understandable for users.☆11Feb 19, 2022Updated 4 years ago
- ☆10Feb 19, 2023Updated 3 years ago
- What if everything is a io_uring?☆17Nov 10, 2022Updated 3 years ago
- ☆17Apr 14, 2022Updated 4 years ago
- Learning Program Semantics for Vulnerability Detection via Vulnerability-specific Inter-procedural Slicing☆14Aug 21, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- OpenLayout: an open-source custom IC design environment (KLayout, xschem, ngspice, FasterCap). ASAP7 today, support for more PDKs coming.☆19Updated this week
- Website for the ModernFlyouts Repo☆14Apr 11, 2022Updated 4 years ago
- 爬虫项目，用来爬取huntr网站的cve相关信息☆12May 10, 2023Updated 3 years ago
- Verification Template Engine is a Jinja2-based template engine targeted at verification engineers☆14Aug 31, 2026Updated 2 months ago
- Adding support s5l89xx support to QEMU☆17Aug 30, 2012Updated 14 years ago
- The Demo that was presented at FCCM.☆16Aug 16, 2018Updated 8 years ago
- Install magisk on android-x86 (pc).☆13May 16, 2025Updated last year