:notebook_with_decorative_cover: The interactive scratchpad for hackers.
- vim
- interpreter
- repl
- instant
Repository Index
83,087 visible repositories in the index
1–3 of 3 · Most stars
Kirby's core application folder
- kirby
- cms
- content-management
- cms-framework
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