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

4,345–4,368 of 5,701 · Most stars

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

Tool to find code cave in PE image (x86 / x64) - Find empty space to place code in PE files

  • codecave
  • cpp
  • pe
  • winapi