lkgv

lkgv's Stars

• facebookresearch/codellama

  Inference code for CodeLlama models

  Language:Python13.9k1591691.4k

• joerick/pyinstrument

  🚴 Call stack profiler for Python. Shows you why your code is slow!

  Language:Python6.5k54156230

• ccfddl/ccf-deadlines

  ⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

  Language:Vue6k2278421

• davinci1010/pinduoduo_backdoor

  拼多多apk内嵌提权代码，及动态下发dex分析

  5.3k62841.9k

• DeSireFire/animeTrackerList

  动漫磁性链接加速方案（animeTrackerList）

  4.1k4138139

• mymusise/ChatGLM-Tuning

  基于ChatGLM-6B + LoRA的Fintune方案

  Language:Python3.7k31247440

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k792.7k258

• flix/flix

  The Flix Programming Language

  Language:Scala2.2k243.5k151

• shining1984/PL-Compiler-Resource

  程序语言与编译技术相关资料（持续更新中）

  2k825259

• OneLoneCoder/olcNES

  NES Emulator, and Tutorial Video Code

  Language:C++1.3k5943226

• uds-se/fuzzingbook

  Project page for "The Fuzzing Book"

  Language:Jupyter Notebook1.1k42101229

• ishepard/pydriller

  Python Framework to analyse Git repositories

  Language:Python83119161142

• uber/ringpop-go

  Scalable, fault-tolerant application-layer sharding for Go applications

  Language:Go8272.6k2781

• eurecom-s3/symcc

  SymCC: efficient compiler-based symbolic execution

  Language:C++7792494137

• dwisiswant0/ppfuzz

  A fast tool to scan client-side prototype pollution vulnerability written in Rust. 🦀

  Language:Rust57172155

• soot-oss/SootUp

  A new version of Soot with a completely overhauled architecture

  Language:Java5681552075

• 1204244136/index-X

  禁书目录X系列，不一样的阅读体验！

  41316858

• cs-au-dk/jelly

  JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

  Language:TypeScript3187922

• kaleido-lab/dolphin

  General video interaction platform based on LLMs, including Video ChatGPT

  Language:Python2538118

• samth/gradual-typing-bib

  A bibliography on Gradual Typing

  Language:Racket24725122

• cs-au-dk/TAJS

  Type Analyzer for JavaScript

  Language:Java193171940

• facebook/sapp

  Post Processor for Facebook Static Analysis Tools.

  Language:Python129281638

• nus-apr/cerberus

  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to fuzzing, static analysis and program repair.

  Language:Python6568630

• rocky/python-control-flow

  Control-Flow, Dominator Tree, and dot output from Python bytecode

  Language:Python581116

• sola-st/DynaPyt

  Dynamic analysis framework for Python

  Language:Python5634114

• bytedance/vArmor-ebpf

  vArmor-ebpf is a specialized project dedicated to maintaining the BPF code utilized by vArmor.

  Language:C25426

• saltudelft/libsa4py

  LibSA4Py: Light-weight static analysis for extracting type hints and features

  Language:Python105156

• cs-au-dk/TAJS-Inspector

  Language:TypeScript11394

• JerryZhongJ/PyPt

  generate callgraph based on points-to analysis

  Language:Python1200

• sritejakv/eval_CG

  Language:Java1210