Solutions to all 25 Advent of Code 2022 in Rust π¦ Less than 100 lines per day, total runtime of less than 1 second.
β53Dec 1, 2024Updated last year
Alternatives and similar repositories for AdventOfCode2022
Users that are interested in AdventOfCode2022 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π My Advent of Code solutions in Rust. http://adventofcode.com/2022β161Dec 1, 2025Updated 7 months ago
- Advent of Code 2023 solutions - #48 on global leaderboardβ36Dec 25, 2023Updated 2 years ago
- Solutions to all 25 Advent of Code problems 2023 in Rust!β33Dec 1, 2024Updated last year
- A file tree component for the webβ39Aug 25, 2025Updated 10 months ago
- Touching fireβ11Feb 25, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Template for a (PhD) thesisβ12Nov 5, 2025Updated 8 months ago
- haha I'm graduatingβ14Jul 22, 2021Updated 4 years ago
- β10Jan 4, 2022Updated 4 years ago
- My solutions to exercises in "Logical Foundations" (2018-2019)β11Apr 11, 2019Updated 7 years ago
- Denotational Semantics of the Untyped Lambda Calculusβ17Feb 5, 2025Updated last year
- A LaTeX template for Bachelor or Master thesesβ12Jun 10, 2022Updated 4 years ago
- A personal APIβ18Dec 3, 2022Updated 3 years ago
- Simply Typed Lambda Calculus with de Bruijn indicesβ19Mar 20, 2025Updated last year
- Universal "use server" functionsβ25Mar 3, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Multiplayer Dots and Boxes build in Elm. Up to 5 players and spectator mode.β14Feb 24, 2017Updated 9 years ago
- Interactive holes for Lean 4β22Apr 19, 2024Updated 2 years ago
- Solutions from Etudes for Programmersβ21Apr 26, 2021Updated 5 years ago
- # A simple variable binding library based on well-scoped indices and environmentsβ32Jun 22, 2026Updated 2 weeks ago
- Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to reβ¦β16Apr 13, 2026Updated 2 months ago
- Work with Celeste files in Rust!β16Jul 10, 2025Updated 11 months ago
- Official repository of the Autosubst 2 project.β27May 8, 2023Updated 3 years ago
- Vacuum is a system-wide configuration file collectorβ30Nov 19, 2020Updated 5 years ago
- Arthur's Formal Metatheory in Coqβ21Feb 6, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Add YAML metadata to the remarkable pluggable markdown parserβ10Jun 14, 2016Updated 10 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped Ξ»-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) anβ¦β31Sep 21, 2022Updated 3 years ago
- A starter template for vue projects in rustβ13Apr 8, 2018Updated 8 years ago
- The Climate Change Informed Species Selection (CCISS) toolβ19Jun 30, 2026Updated last week
- A Lean4 Formalization of Polynomial Functorsβ29Dec 22, 2025Updated 6 months ago
- HaveIBeenPwned API 3.0 in Rustβ16Feb 5, 2023Updated 3 years ago
- Logical relations proof in Agdaβ30May 27, 2015Updated 11 years ago
- A window manager for adventurers -- EndeavourOS setupβ10Jun 26, 2022Updated 4 years ago
- Event Schema definitions for common events on the Inngest platformβ17Oct 15, 2025Updated 8 months ago
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Blazing fast Rust solutions for every Advent of Code puzzle from 2015 to 2025, solving 524 stars in less than 1 second.β538Updated this week
- Searchable type definitions for Cloudflare Workersβ13Updated this week
- β20Jan 22, 2026Updated 5 months ago
- Rust str macro to bring the convenience of vec to the String typeβ13Oct 16, 2025Updated 8 months ago
- A minimalistic DOM element creation library.β19May 8, 2026Updated 2 months ago
- RUST: The Easy Way, by Packt Publishingβ14Jan 15, 2021Updated 5 years ago
- π My Advent of Code solutions in Rust. http://adventofcode.com/2024β16Dec 1, 2025Updated 7 months ago