-
agentdojo Public
Forked from ethz-spylab/agentdojoA Dynamic Environment to Evaluate Attacks and Defenses for LLM Agents.
Python MIT License UpdatedApr 11, 2026 -
capless-website Public
Landing page for capture checking.
-
pl-deadlines Public
Forked from paperswithcode/ai-deadlines⏰ AI conference deadline countdowns
-
-
-
nanobrew Public
Forked from justrach/nanobrewThe fastest macOS package manager. Written in Zig. 3ms warm installs.
Zig Apache License 2.0 UpdatedMar 27, 2026 -
-
-
Orbit Public
Forked from yuzeguitarist/OrbitA radial, gesture-first app switcher and file hub for macOS.
Swift Other UpdatedMar 20, 2026 -
-
-
-
-
-
-
tau2-bench Public
Forked from sierra-research/tau2-benchτ²-Bench: Evaluating Conversational Agents in a Dual-Control Environment
Python MIT License UpdatedFeb 12, 2026 -
-
apa-explorer Public
Explorer for Agentic Proof Automation Case Study
TypeScript MIT License UpdatedDec 2, 2025 -
-
-
-
-
lean4check Public
A minimal MCP with only one tool for checking a Lean 4 module.
-
-
-
Warblre Public
Forked from LindenRegex/WarblreA Coq Mechanization of ECMAScript 2023 Regexes
OCaml Other UpdatedSep 30, 2025 -
cslib Public
Forked from leanprover/cslibA Lean library for Computer Science
-
-
-
{{ message }}