- Sonar Sweep
- Dive!
- Binary Diagnostic
- Giant Squid
- Hydrothermal Venture
- Lanternfish
- The Treachery Of Whales
- Seven Segment Search
- Smoke Basin
- Syntax Scoring
- Dumbo Octopus
- Passage Pathing
- Transparent Origami
- Extended Polymerization
- Chiton
- Packet Decoder
- Trick Shot
- Snailfish
- Beacon Scanner
- Trench Map
- Dirac Dice
- Reactor Reboot
- Amphipod
- second part doesn't work for all the inputs and I solved mine by hand
- Arithmetic Logic Unit
- I was stuck with this one, I had a look at reddit and discovered the Z3 Library
- Sea Cucumber