https://github.com/scott2000/advent-of-code-2023
Advent of Code 2023 in Roc (and Rust)
https://github.com/scott2000/advent-of-code-2023
advent-of-code advent-of-code-2023 roc-lang
Last synced: 4 months ago
JSON representation
Advent of Code 2023 in Roc (and Rust)
- Host: GitHub
- URL: https://github.com/scott2000/advent-of-code-2023
- Owner: scott2000
- Created: 2023-12-08T01:24:09.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2023-12-27T03:50:28.000Z (almost 2 years ago)
- Last Synced: 2023-12-27T20:41:09.149Z (almost 2 years ago)
- Topics: advent-of-code, advent-of-code-2023, roc-lang
- Language: Rust
- Homepage:
- Size: 219 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- learn-roc - github.com/scott2000/advent-of-code-2023
README
# Advent of Code 2023
These are my solutions for [Advent of Code 2023]. This year, I am using [Roc],
a promising new functional programming language. Since it is still in development,
there will likely be breaking changes, so this code may not work in the future.
A few parts were too difficult to do in Roc because of package availability, so
I did those parts in [Rust] instead. One part also requires [Z3] to be installed.
I was 7359th to complete all 50 stars.
[Advent of Code 2023]: https://adventofcode.com/2023
[Roc]: https://www.roc-lang.org/
[Rust]: https://www.rust-lang.org/
[Z3]: https://github.com/Z3Prover/z3