LarsAstrom / EDAF05-labs-public
Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.
☆13Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for EDAF05-labs-public
- The most powerful way to discover and research Moonboard benchmarks.☆17Updated 5 months ago
- Complete 2023 to 2015 entries written in Rust for the annual Advent of Code challenge, solving 450 stars in less than 1 second.☆91Updated last week
- A tutorial for solving the Rubik's Cube with as few moves as possible.☆26Updated last year
- Rubik's cube trainer / solver for the Roux method.☆47Updated last year
- Advent of Code problems solved in Python.☆53Updated this week
- ☆7Updated 11 months ago
- 🐍📅 One-line Python solutions for Advent of Code 2022 and 2023.☆113Updated 11 months ago
- Advent of Code command-line tool☆251Updated 11 months ago
- Collection of solutions for OSUE fall semester 2020 [TU Wien]☆19Updated 3 years ago
- Optimal Rubik's Cube solver☆31Updated 7 months ago
- My Advent of Code submissions. For 2021 and before, these are the original code I used, without any modifications after-the-fact. As such…☆302Updated 10 months ago
- A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my …☆9Updated 3 years ago
- Advent of Code statistics for the first 100 submissions visualized☆84Updated 10 months ago
- doing the same thing over and over and expecting the same results☆41Updated 3 years ago
- Rust project template for Advent of Code☆33Updated last year
- Concurrent decision diagram framework written in Rust☆40Updated this week
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆292Updated 8 months ago
- Advent of Code 2021☆19Updated 11 months ago
- Puzzle Scramble Generator☆14Updated last year
- ☆166Updated 2 weeks ago
- ⭐️ Command line utility that automatically downloads your Advent of Code puzzle inputs.☆65Updated last year
- A wiki for collaborative work on totally legitimate "category theory"☆102Updated 5 months ago
- Tindeq Progressor, PitchSix Force Board, Griptonite Motherboard, Weiheng WH-C06, Entralpi, Climbro, mySmartBoard, KilterBoard: Web Blueto…☆37Updated 2 weeks ago
- A competitive programming helper tool, which packages included libraries into a single file, suitable for online judges.☆12Updated 3 years ago
- Utilities for interacting with climbing board APIs☆57Updated last week
- 🎄 My solutions and walkthroughs for Advent of Code and more related stuff.☆384Updated 10 months ago
- A place for automata☆70Updated 2 months ago
- Advent of Code solutions☆36Updated 11 months ago
- ☆19Updated 9 months ago
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆291Updated last year