Highlights
- Pro
Lists (9)
Sort Name ascending (A-Z)
Stars
#1 Locally hosted web application that allows you to perform various operations on PDF files
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
A summary of 200+ CTF blockchain challenges
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
AcadHomepage: A Modern and Responsive Academic Personal Homepage
Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.
A collection of out-of-tree LLVM passes for teaching and learning
AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
A list of Blockchain Security audit companies, solo auditors and location of public audits.
Smart contract front-running vulnerability benchmark
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.
A chronological and (hopefully) complete list of reentrancy attacks to date.
为GPT/GLM等LLM大语言模型提供实用化交互接口,特别优化论文阅读/润色/写作体验,模块化设计,支持自定义快捷按钮&函数插件,支持Python和C++等项目剖析&自译解功能,PDF/LaTex论文翻译&总结功能,支持并行问询多种LLM模型,支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…
A tool for analyzing the security and parameters of a solidity smart contract
Maybe the most detailed analysis of pdd backdoors
State-of-the-Art Source Code Plagiarism & Collusion Detection
GPT-3 found hundreds of security vulnerabilities in this repo
A precise specification for "Rust lite / MIR plus"
A curated list of blockchain security Capture the Flag (CTF) competitions