Stars
LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)
Winners of the International Obfuscated C Code Contest
Repository for results and data (coming soon!) for ClawsBench
AI agent benchmark hackability scanner — find evaluation vulnerabilities before they undermine your results
A benchmark for evaluating LLMs on open-ended CS problems. Exploring the Next Frontier of Computer Science.
Simultaneous evaluation on both functionality and security of LLM-generated code.
Collections of awesome neovim plugins.
一份面向 Java 后端工程师的源码阅读地图：从 JDK / JUC 到 Spring、Netty、Kafka、RocketMQ，按核心链路拆解框架设计与底层实现。
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
Nailgun is a client, protocol, and server for running Java programs from the command line without incurring the JVM startup overhead.
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 infrastruc…
🚀Clone a voice in 5 seconds to generate arbitrary speech in real-time
Python library for quantum circuit rewriting and optimisation using the ZX-calculus
Runs tests multiple times to expose flakiness.