Block or Report
Block or report Tristan-now
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
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
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
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
Machine Learning Toolkit for Kubernetes
[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)