PrototypeCommon
Lysxia/advent-of-coq-2018
Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
- Owner
- Lysxia (personal account)
- Stars
- Stars: 141
- Forks
- Forks: 8
- Language
- Coq
- License
- None
- Created
- 2018
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Coq
All Coq repos- jwiegley/coq-haskellStars: 172CoqPrototype
- accordproject/ergoStars: 171CoqPrototype
- discus-lang/ironStars: 146CoqPrototype
- rocq-archive/coq-serapiStars: 136CoqPrototype
- project-oak/silveroakStars: 133CoqPrototype
- rocq-community/coq-artStars: 131CoqPrototype