nowfound

Dev tools · December 29, 2020

LeetCode Code Format

Adds format code button on Leetcode to format the code

LeetCode Code Format launched on December 29, 2020 with 74 votes, #630 of 3,242 launches that month and more than 75% of that year's launches. The site was still online in September 2026, 5 years on.

What it does

This Google chrome extension adds the Format button to the LeetCode code editor. Currently supported programming languages are Java, JavaScript and TypeScript.

Does a similar job

all alternatives →
  • Learn LLMs LeetCode Style2025 · github.com · ▲181

    LeetCode for PyTorch — 65 ML/AI interview problems from real interviews at Google, Meta, Anthropic. Jupyter notebooks, an auto-grader, and an MCP AI tutor. - Exorust/TorchLeet

  • Leetcode Whiteboard2025 · github.com · ▲7

    a chrome extension that adds a whiteboard to leetcode pages.

  • Openleetcode – Local LeetCode runner where tests live in the repoAug 2026 · github.com · ▲73

    You write a standard solution, just like on LeetCode, and run it through the CLI. It identifies the problem by ID or title, executes your code against local test cases, and shows the result. It currently supports around 1.4k problems and multiple languages, including Python, C++, Rust, Java, Go, TypeScript, Swift, and others. The project is still an MVP. System design, SQL, and concurrency problems are not supported yet, but support for more problem types is planned. Made in Haskell!

  • CodeSyncer2023 · chromewebstore.google.com · ▲3

    Synchronise your LeetCode submissions to their GitHub.

  • Kodehinter2025 · chromewebstore.google.com · ▲7

    Chrome web store

  • LeetCode Interview2021 · leetcode.com · ▲70

    Online coding interview platform for professionals

More dev tools this month

the category →
  • Contribute to oosexgang/hackios-xnu-kernel development by creating an account on GitHub.

    Dev tools · 5d ago · github.com

  • /dev/null▲503

    a social network for devs

    Dev tools · 8d ago · dev-null.sh

  • OpenBot▲362

    Grok Bot alternative: free, local, open-source, multiplayer

    Dev tools · 28d ago · openbot.run

  • Talanoa▲346

    Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

    Dev tools · 26d ago · talanoa.email

  • Open standard for tracking agent run costs

    Dev tools · 30d ago · openaudr.dev

  • myPip▲272

    Vibe code, publish, and monetize games with AI

    Dev tools · 12d ago · mypip.dev

Source: Product Hunt launch ↗

Launched alongside, December 2020

the whole month →
  • Spline▲1,191

    Design tool for 3D web experiences

    Work · 2020 · spline.design

  • PP

    Play classic 32-bit retro games online with friends! Free multiplayer emulator in your browser. No downloads required.

    Life & fun · 2020 · psxparty.kosmi.io

  • A2

    It's been a long slow hog and I almost gave up a few times (more than a few) but when covid hit this year it gave me some time to really focus on my product. There were stupid user journey things that I knew needed fixed. There were some features I knew needed added. And I knew the pricing was wrong. I spent some hardcore time working on these things back in March / April and since then my MRR has continued to grow. My product is SongBox (https://songbox.rocks) - it's an alternative to things like bandcamp and soundcloud for creators who need to share audio files privately.…

    Commerce · 2020

  • TW

    Life & fun · 2020 · webdatarender.com

  • UserLeap▲590

    AI-powered, product research platform

    Growth · 2020 · sprig.com

  • Professional marketing copy for anyone

    AI · 2020 · headlime.com