Pinned Repositories
365-days-get-xuanwulab-job
Get a job from Xuanwu Lab in 365 days
a-b
adads
ABS
ABS: Scanning Neural Networks for Back-doors by Artificial Brain Stimulation
ac2
Source code plagiarism detection tool
flwt
framework L web test
smart-selection-artifact
zzctmac's Repositories
zzctmac/smart-selection-artifact
zzctmac/awesome-chatgpt-prompts
This repo includes ChatGPT prompt curation to use ChatGPT better.
zzctmac/awesome-theoretical-computer-science
The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.
zzctmac/awesome-wechat-weapp
微信小程序开发资源汇总 :100:
zzctmac/BNNQuanalyst
zzctmac/BY_RAG_V2
support BM25+vecetor
zzctmac/ComfyUI_tutorial_vn
A VN made with ComfyUI as a tutorial for ComfyUI
zzctmac/ET
Enumerative Testing and Bounded Validation of SMT Solvers
zzctmac/evosuite
EvoSuite - automated generation of JUnit test suites for Java classes
zzctmac/go-tree-sitter
Golang bindings for tree-sitter https://github.com/tree-sitter/tree-sitter
zzctmac/gobench
zzctmac/goleak
Goroutine leak detector
zzctmac/Gomela
Tool developped for "Bounded verification of message passing concurrency in Go programs."
zzctmac/GPT-Code-Learner
Learn A Repo Interactively with GPT
zzctmac/jbse
A symbolic Java virtual machine for program analysis, verification and test generation
zzctmac/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
zzctmac/llm.c
LLM training in simple, raw C/CUDA
zzctmac/mosaic
The MOSAIC Operating Systems Model and Checker
zzctmac/nilaway
Static Analysis tool to detect potential Nil panics in Go code
zzctmac/nxt_unit
NxtUnit is an automatically unit test generation application for Go.
zzctmac/openctest
Testing Configuration Changes in Context to Prevent Production Failures
zzctmac/pysm
Versatile and flexible Python State Machine library
zzctmac/RAGOnMedicalKG
RAGOnMedicalKG，将大模型RAG与KG结合，完成demo级问答，旨在给出基础的思路。
zzctmac/sdc-testing-competition
🚗💻 Tool Competition: Test Selection for Self-driving Cars in Simulation
zzctmac/smtfuzz
A fuzzer for SMT solvers
zzctmac/steamworks.js
A steamworks implementation for nw.js/electron games
zzctmac/TaintMini
Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
zzctmac/trader
交易模块
zzctmac/Unciv
Open-source Android/Desktop remake of Civ V
zzctmac/wyGPT
Wang Yi's GPT solution