advent-of-coq-2018
AoC solver
Formally verifying and implementing solutions to Advent of Code 2018 challenges in Coq
Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
140 stars
7 watching
8 forks
Language: Coq
last commit: almost 6 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 odnoletkov/advent-of-code-jq | Automates solving Advent of Code puzzles using the jq programming language. | 210 |
 maread99/aoc | A collection of Python solutions for Advent of Code puzzles | 0 |
 pulgamecanica/aoc2023 | Advent of Code 2023 solutions in Ruby | 1 |
 ephemient/aoc2023 | A collection of solutions to Advent of Code 2023 puzzles in various programming languages | 18 |
 clxs/advent-of-code-2023 | A C# implementation of the Advent of Code 2023 challenge series | 0 |
 aadv1k/adventoflua2021 | Solutions to Advent of Code 2021 challenges in Lua | 2 |
 arcogelderblom/adventofcode | A collection of solutions to Advent of Code puzzles written in C++ | 2 |
 lboshuizen/aoc23 | A set of F# solutions to Advent of Code 2023 challenges | 0 |
 osalbahr/adventofcode | Advent of code solutions in C++ and possibly Rust | 3 |
 tbali0524/advent-of-code-solutions | A collection of solutions to Advent of Code puzzles in PHP | 3 |
 tbeu/adventofcode | Solutions to Advent of Code puzzles in C++ | 11 |
 fones/advent_of_code_2023 | A JavaScript implementation of Advent of Code 2023 puzzles and challenges | 0 |
 michaeladler/aoc-2023 | Solutions to Advent of Code 2023 challenges in C | 2 |
 viceroypenguin/adventofcode | A collection of solutions to Advent of Code puzzles in C#. | 37 |
 lyqst/adventofcode | A collection of solutions to the Advent of Code 2023 challenges in JavaScript | 2 |