advent-of-coq-2018
by Lysxia
Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
AI summary
Verification project
Formally verifying solutions to programming challenges in Coq
- stars
- 140
- forks
- 8
- watching
- 7
Similar projects
Found by comparing what the projects do, not just their names.
Advent solver
Automates solving Advent of Code puzzles using the jq programming language.
Advent of Code solutions
A collection of Python solutions to the Advent of Code puzzles, with explanations and references to other sources.
Puzzle solvers
Advent of Code 2023 solutions in Ruby
Aoc solver
A collection of solutions to Advent of Code 2023 puzzles in various programming languages
Coding puzzle solver
A C# implementation of the Advent of Code 2023 challenge series
Lua puzzle solver
Solutions to Advent of Code 2021 challenges in Lua
Advent puzzle solver
A repository containing solution implementations for Advent of Code puzzles in C++
Advent puzzle solver
A set of F# solutions to Advent of Code 2023 challenges
AoC solver
Advent of code solutions in C++ and possibly Rust
AoC solver
A collection of solutions to Advent of Code puzzles in PHP
Code puzzles
Solutions to Advent of Code puzzles in C++
AOC solver
A JavaScript implementation of Advent of Code 2023 puzzles and challenges
Advent puzzle solver
Solutions to Advent of Code 2023 challenges in C
Advent puzzle solver
A collection of solutions to Advent of Code puzzles in C#.
Challenge repository
A collection of solutions to the Advent of Code 2023 challenges in JavaScript
