Pinned Loading

1. extract-recipe extract-recipe Public

   Extract the recipe (sequence of user prompts) used to build something with Claude Code

   Python 1

2. wesnoth/wesnoth wesnoth/wesnoth Public

   An open source, turn-based strategy game with a high fantasy theme.

   C++ 6.8k 1.2k

3. isabelle-query isabelle-query Public

   Isabelle/Isar syntax-aware query tool for theory and result dependency graphs, locating sorry in proofs, and help with refactoring

   Python 5

4. isabelle-layout isabelle-layout Public

   Access the layout of an Isabelle session

   Python

5. isabelle-watchdog isabelle-watchdog Public

   Build watchdog for Isabelle: enforce timeouts and make build summary, with build trajectory recording.

   Python

6. solver-support solver-support Public

   Helper libraries for using CP solvers and AI planners in experimental work.

   Python