CharesFang

gpt_academic

为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, moss等。

Stirling-PDF

#1 Locally hosted web application that allows you to perform various operations on PDF files

localGPT

Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

PentestGPT

A GPT-empowered penetration testing tool

pinduoduo_backdoor

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

llvm-tutor

A collection of out-of-tree LLVM passes for teaching and learning

joern

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

pinduoduo_backdoor_detailed_report

Maybe the most detailed analysis of pdd backdoors

blocksec-ctfs

A curated list of blockchain security Capture the Flag (CTF) competitions

JPlag

State-of-the-Art Software Plagiarism & Collusion Detection

acad-homepage.github.io

AcadHomepage: A Modern and Responsive Academic Personal Homepage

reentrancy-attacks

A chronological and (hopefully) complete list of reentrancy attacks to date.

minirust

A precise specification for "Rust lite / MIR plus"

ctf-blockchain

A summary of 200+ CTF blockchain challenges

Blockchain-Security-Audit-List

A list of Blockchain Security audit companies, solo auditors and location of public audits.

arbiter

A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.

pyrometer

A tool for analyzing the security and parameters of a solidity smart contract

gpt3_security_vulnerability_scanner

GPT-3 found hundreds of security vulnerabilities in this repo

dojo

Infrastructure powering the pwn.college dojo

SourcererCC

Sourcerer's Code Clone project

IncA

Incremental Program Analysis Framework

Centris-public

theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

AChecker

AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.

erebus-redgiant

Smart contract front-running vulnerability benchmark

SecTKG

A Knowledge Graph for Open Source Security Tools

optane_sec23_ae