Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/janwosnitza/advent-of-code-2022

My advent of code 2022 solutions in Lean.
https://github.com/janwosnitza/advent-of-code-2022

Last synced: 3 days ago
JSON representation

My advent of code 2022 solutions in Lean.

Awesome Lists containing this project