zqzqz

zqzqz's Stars

• meta-llama/codellama

  Inference code for CodeLlama models

  Language:Python16.1k1872061.9k

• ytisf/theZoo

  A repository of LIVE malwares for your own joy and pleasure. theZoo is a project created to make the possibility of malware analysis open and available to the public.

  Language:Python11.4k8121562.5k

• PyCQA/bandit

  Bandit is a tool designed to find common security issues in Python code.

  Language:Python6.5k65653612

• ReaVNaiL/New-Grad-2024

  👋 Hey there new grad🎉! We've put together a collection of full-time job openings for SWE, Quant, PM and tech roles in 2024! 🚀

  Language:Python6.4k2.1k0570

• tock/tock

  A secure embedded operating system for microcontrollers

  Language:Rust5.5k120689703

• AmberLJC/LLMSys-PaperList

  Large Language Model (LLM) Systems Paper List

  65728024

• rems-project/sail

  Sail architecture definition language

  Language:Isabelle62736332116

• chris-koch-penn/gpt3_security_vulnerability_scanner

  GPT-3 found hundreds of security vulnerabilities in this repo

  Language:PHP600123100

• Virus-Samples/Malware-Sample-Sources

  Malware Sample Sources

  52115064

• seL4/l4v

  seL4 specification and proofs

  Language:Isabelle5153798108

• zhulf0804/PointPillars

  A Simple PointPillars PyTorch Implementation for 3D LiDAR(KITTI) Detection.

  Language:Python511484124

• AIR-THU/DAIR-V2X

  Language:Python453188967

• formal-land/coq-of-rust

  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

  Language:Coq428926317

• Little-Podi/Collaborative_Perception

  This repository is a paper digest of recent advances in collaborative / cooperative / multi-agent perception for V2I / V2V / V2X autonomous driving scenario.

  41421547

• CyberGrandChallenge/samples

  DARPA Cyber Grand Challenge Sample Challenges

  Language:C317441111

• ZeoVan/MSR_20_Code_vulnerability_CSV_Dataset

  A C/C++ Code Vulnerability Dataset with Code Changes and CVE Summaries

  Language:Jupyter Notebook2437858

• pirapira/coq2rust

  Coq to Rust program extraction. The whole tree is on the original Coq code base.

  Language:OCaml22216510

• riebl/artery

  OMNeT++ V2X simulation framework for ETSI ITS-G5

  Language:C++20429272132

• epicosy/devign

  Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks

  Language:Python19872169

• uw-unsat/hyperkernel

  Language:C1818925

• AIR-THU/DAIR-V2X-Seq

  Language:Python14252715

• mars-research/redleaf

  RedLeaf Operating System

  Language:Rust119145010

• wagner-group/diversevul

  DiverseVul: A New Vulnerable Source Code Dataset for Deep Learning Based Vulnerability Detection (RAID 2023) https://surrealyz.github.io/files/pubs/raid23-diversevul.pdf

  106797

• GPT-Alternatives/gpt_alternatives

  73602

• tuhh-softsec/vul4j

  Vul4J: A Dataset of Reproducible Java Vulnerabilities

  Language:Python7031223

• iSEngLab/AwesomeLearningAPR

  [TOSEM 2023] A Survey of Learning-based Automated Program Repair

  68113

• uw-unsat/serval

  Language:Racket466713

• XHwind/V2XP-ASG

  [ICRA 2023] V2XP-ASG: Generating Adversarial Scenes for Vehicle-to-Everything Perception

  Language:Python21133

• mikusher/vulnerability-benchmark

  Benchmark collection for analysis. The idea is to have a collection of projects in several languages as well as various sast applications to do scans and comparisons. At the end of the day the intention is to reduce the number of false positives in benchmarks projects.

  11305

• cs7org/5GSimV2IN

  Open Source 5G V2I / V2N Application-Level Simulation OMNeT++-framework.

  Language:C++9103