advent-of-coq-2018
Advent of Code 2018, in Coq! (https://adventofcode.com/2018) (by Lysxia)
| advent-of-coq-2018 | advent-of-coq-2021 | |
|---|---|---|
| 1 | 1 | |
| 139 | 38 | |
| - | - | |
| 10.0 | 0.0 | |
| over 5 years ago | over 2 years ago | |
| Coq | Coq | |
| - | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
advent-of-coq-2018
Posts with mentions or reviews of advent-of-coq-2018.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-02-04.
-
Advent of Code Day 1
It's possible to do all that work still in Coq, so that the extracted code can directly be compiled into an executable. One way is to use the coq-simple-io library, which basically wraps the OCaml standard library (including functions for reading and writing files/stdin/stdout) as Coq axioms. For example, I did extraction that way in a previous iteration of AoC: https://github.com/Lysxia/advent-of-coq-2018/blob/master/sol/day01_1.v
advent-of-coq-2021
Posts with mentions or reviews of advent-of-coq-2021.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-02-04.
-
Advent of Code Day 1
That doesn't substitute for a specific answer to your questions, but note that you can find /u/syrak's solution here: https://github.com/Lysxia/advent-of-coq-2021
What are some alternatives?
When comparing advent-of-coq-2018 and advent-of-coq-2021 you can also consider the following projects:
coq-simple-io - IO for Gallina