Lists (19)
Stars
The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to…
ThetaEvolve: Test-time Learning on Open Problems
Open-source implementation of AlphaEvolve
The property-based testing library for Python
[EMNLP 2024] CodeJudge: Evaluating Code Generation with Large Language Models
A pure-Rust implementation of group operations on Ristretto and Curve25519
PoC for agentic Rust code verification autopilot in Lean and Verus
OSS-Fuzz - continuous fuzzing for open source software.
AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution
A tool for deductive verification of Python programs based on Dafny
A curated list of awesome directed fuzzing research papers
SorryDB indexes sorries in public lean repositories
Lean 4 port of Iris, a higher-order concurrent separation logic framework
An extremely fast Python package and project manager, written in Rust.
A powerful tool for automated LLM fuzzing. It is designed to help developers and security researchers identify and mitigate potential jailbreaks in their LLM APIs.
The 100 line AI agent that solves GitHub issues or helps you in your command line. Radically simple, no huge configs, no giant monorepo—but scores >74% on SWE-bench verified!
⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.
A guidance language for controlling large language models.
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.