Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

25–42 of 42 · Most stars

A curated library of high-quality, professionally crafted prompts for common development tasks. Save time and improve your AI interactions with battle-tested prompt templates. You can install it as an Gemini CLI Extension.

Battle-tested agent skills for Product Builders. Part of the Product Builder OS by Superhero.tech: Super Brain for context, skills for action, built from 32+ years of combined product experience and pressure-tested with 1,800 builders.

TavernGym and TavernBench: a faithful, full-content Hearthstone Battlegrounds simulator with an RL interface, and a 960-task decision benchmark. Code and data for "Build, Don't Play".

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs

A system for calculating the results of a battle between two opposing starship fleets on the Golem network. Used in the iOS game Rock Paper Frigate to determine the result of PvP fleet battles.