meizjm3i

craftinginterpreters_zh

手撸解释器教程《Crafting Interpreters》中文翻译

aya

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

CodeFuse-Query

Query-Based Code Analysis Engine

jrasp-agent

专注于JVM的运行时防御系统RASP

java-benchmarks

TPLite

ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?

zipper

Precision-guided context sensitivity for pointer analysis

mlir-tutorial

MLIR For Beginners tutorial

zarf

DevSecOps for Air Gap & Limited-Connection Systems. https://zarf.dev/

circ

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

Ghidra-to-LLVM

An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis

LL-RASP

Low-level RASP: Protecting Applications Implemented in High-level Programming Languages

qdrant

Qdrant - High-performance, massive-scale Vector Database for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/

QlRules

Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.

akto

Proactive, Open source API security → API discovery, Testing in CI/CD, Test Library with 150+ Tests, Add custom tests, Sensitive data exposure

slides-downloader

Download slides for KubeCon, etc.

Llama-Chinese

Llama中文社区，Llama3在线体验和微调模型已开放，实时汇总最新Llama3学习资料，已将所有代码更新适配Llama3，构建最好的中文Llama大模型，完全开源可商用

ratify

Artifact Ratification Framework

gatekeeper

🐊 Gatekeeper - Policy Controller for Kubernetes

kyverno

Cloud Native Policy Management

notation

A CLI tool to sign and verify artifacts

specifications

Cross tooling and interoperability specifications

graspan-cpp

This is a C++ implementation of Graspan.

graspan-java

This is java implementation of Graspan.

oyente

An Analysis Tool for Smart Contracts

smartbugs

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

rhizobia_J

JAVA安全SDK及编码规范

jayhorn

Static checker for Java

difflog

Difflog: Synthesizing Datalog Programs using Numerical Relaxation

ladon

A SDK for access control policies: authorization for the microservice and IoT age. Inspired by AWS IAM policies. Written for Go.