Bilingual Resume Template in Latex. 中英双语Latex简历模板
☆20Jun 4, 2024Updated 2 years ago
Alternatives and similar repositories for Bilingual-Resume-Template
Users that are interested in Bilingual-Resume-Template are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TeLL: Log Level Suggestions via Modeling Multi-Level Code Block Information, ISSTA'22☆14Jul 14, 2022Updated 3 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Apr 17, 2023Updated 3 years ago
- Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses☆14Sep 19, 2023Updated 2 years ago
- GAINS: Getting stArted wIth biNary analysiS☆32Feb 23, 2022Updated 4 years ago
- MCPCorpus is a comprehensive dataset for analyzing the Model Context Protocol (MCP) ecosystem, containing ~14K MCP servers and 300 MCP cl…☆34Sep 1, 2025Updated 9 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.
- Deterministic record and replay and tracing of syzkaller bug reproducers☆20Apr 25, 2025Updated last year
- Two-Level Collaborative Fuzzing for Python Runtimes☆18Nov 25, 2023Updated 2 years ago
- ☆11Aug 21, 2017Updated 8 years ago
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 2 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- UIHash: Detecting Similar Android UIs through Grid-Based Visual Appearance Representation, USENIX Security '24☆12Dec 5, 2024Updated last year
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 4 years ago
- A toy WebAssembly(wasm) interpreter written in Swift☆16Jan 25, 2025Updated last year
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated 11 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Misuse cases of Cryptography in real world software products☆11Nov 4, 2018Updated 7 years ago
- ☆11Aug 19, 2016Updated 9 years ago
- A portable framework to map DFG (dataflow graph, representing an application) on spatial accelerators.☆41Oct 31, 2022Updated 3 years ago
- PatchEval: A New Benchmark for Evaluating LLMs on Patching Real-World Vulnerabilities☆211Mar 11, 2026Updated 3 months ago
- ☆15Sep 14, 2020Updated 5 years ago
- Interpretable PROTAC degradation prediction with structure-informed deep ternary attention framework☆14Oct 6, 2025Updated 8 months ago
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆27Aug 18, 2024Updated last year
- Code for ASE'21 paper "AID: Efficient Prediction of Aggregated Intensity of Dependency in Large-scale Cloud Systems"☆15Nov 2, 2021Updated 4 years ago
- custom clash rules☆13Mar 24, 2026Updated 3 months 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 Dataflow-Driven and Automated Fuzzer for the PHP Interpreter☆48Jun 19, 2025Updated last year
- A model checker based on SAT solving and induction☆15Mar 27, 2015Updated 11 years ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆14Apr 1, 2017Updated 9 years ago
- Learning graph-based code representations for source-level functional similarity detection. ICSE'23☆63Mar 27, 2023Updated 3 years ago
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 7 months ago
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 3 years ago
- Uncovering Container Confusion in the Linux Kernel☆47Feb 27, 2024Updated 2 years ago
- SmoothE: Differentiable E-Graph Extraction (ASPLOS'25 Best Paper)☆33Jan 15, 2026Updated 5 months ago
- archives for Tongji CTF 2017☆10Oct 25, 2023Updated 2 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.
- ☆18Nov 9, 2022Updated 3 years ago
- This repository is used to analysis the shared resources of different containers☆30Oct 22, 2024Updated last year
- CVE-2022-3910☆12Mar 14, 2023Updated 3 years ago
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities | 🏆 Best Practical Paper Award of RAID 2024☆88Oct 15, 2025Updated 8 months ago
- Soot based Jimple interpreter☆14Mar 31, 2021Updated 5 years ago
- revised☆23Jul 26, 2020Updated 5 years ago
- ☆17Nov 19, 2023Updated 2 years ago