Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
Our sponsors help make Advent of Code possible: CodeRabbit - Cut Code Review Time and Bugs in Half Hi! I'm Eric Wastl.
News
GitHub - ngrislain/lean-adventofcode-2025: Advent of Code 2025 in Lean
Advent of Code 2025 in Lean. Contribute to ngrislain/lean-adventofcode-2025 development by creating an account on GitHub.
Read more
Report
Pro access
Upgrade to see all 27 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.