Searching code as you type in vim ( grep on the fly)

What it does

Append ?t=30 to start the playback at 30s, ?t=3:20 to start the playback at 3m 20s. Use snippets below to display a preview image linking to this recording. Ideal for places where scripts are not allowed, such as project README files. Paste the above script tag where you want the player to be displayed on your page. You can download this recording in asciicast v1 format , as a .json file. If you don't have asciinema CLI installed then see installation instructions . Download asciinema player from the releases page (you only need .js and .css file), then use it like this: See asciinema player quick-start guide for full usage instructions. While this site doesn't provide GIF conversion at the…from asciinema.org

• 
  Grep by Vercel2025 · grep.app · ▲438

  Code search made fast

• SC
  Search code in GitHub repos using regular expressions2020 · grep.app · ▲614
• 
  A New Basic Vim Motion2013 · github.com · ▲110

  Seek makes navigating long lines effortless, acting like f but taking two characters. - goldfeld/vim-seek

• 
  SpaceVim Release v1.5.02020 · spacevim.org · ▲61

  停止维护 SpaceVim 项目的原因说明。

• 
  SpaceNeovim – Spacemacs for Neovim2016 · github.com · ▲105

  Spacemacs for Neovim—link to layers 👉. Contribute to Tehnix/spaceneovim development by creating an account on GitHub.

• 
  Codespace2020 · codespace.app · ▲254

  A beautiful cross-platform code snippet manager

• 
  /dev/null▲494

  a social network for devs

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

• 
  Run full iOS 16.5 firmware on Android Devices▲474

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

  Dev tools · 23h ago · github.com

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 29d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 27d ago · github.com

• 
  OpenBot▲362

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

  Dev tools · 24d 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 · 22d ago · talanoa.email

• 
  Muzzle▲1,120

  Silence embarrassing notifications while screensharing

  Life & fun · 2017 · muzzleapp.com

• 
  Real Pitch Decks From 40+ Top Startups▲935

  A collection of startup pitch decks that raised $1.4 Billion

  Commerce · 2017 · dconstrct.com

• 
  Spotify.me▲891

  Beautiful analytics on your Spotify listening habits 🎧

  Life & fun · 2017 · open.spotify.com

• 
  Abstract▲837

  Design collaboration without the chaos

  Dev tools · 2017 · abstract.com

• 
  Hoodmaps▲792

  Crowdsourced neighborhood 🗺 maps to navigate a city 💫

  Life & fun · 2017 · hoodmaps.com

• 
  Hire, by Google▲684

  A new service for helping businesses recruit

  Work · 2017 · hire.google.com