Collected Concurrency Bugs in Our ASPLOS Paper

A Transformer-based Line-Level Vulnerability Prediction

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

Fuzzing concurrent Go programs

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

[ICSE 2024 Industry Challenge Track] Official implementation of "ReposVul: A Repository-Level High-Quality Vulnerability Dataset".

Convert PDF to markdown quickly with high accuracy

explain the techniques needed for daily development

GoDS (Go Data Structures) - Sets, Lists, Stacks, Maps, Trees, Queues, and much more

Go security checker

Kubeflow helm chart

Base example for a custom controller in Kubernetes working with custom resources. Based on https://github.com/resouer/k8s-controller-custom-resource.

Base sample for a custom controller in Kubernetes working with custom resources

daed, a modern dashboard with dae.

k8s学习，主要是《深入剖析kubernetes》的笔记

云原生新手答疑Q&A锦集

kubeflow国内一键安装文件

Machine Learning Toolkit for Kubernetes

Workflow Engine for Kubernetes

cloud-native distributed storage

[CVPR'24] Interactive3D: Create What You Want by Interactive 3D Generation

《Go语言安全-只有Go安全才能拯救地球》Only Golang Security Can Save The Earth.

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

Automatic Detection of Java Cryptographic API Misuses: Are We There Yet? (TSE 2022)