StackShareStackShare
Follow on
StackShare

Discover and share technology stacks from companies around the world.

Follow on

© 2025 StackShare. All rights reserved.

Product

  • Stacks
  • Tools
  • Feed

Company

  • About
  • Contact

Legal

  • Privacy Policy
  • Terms of Service
  1. Stackups
  2. DevOps
  3. Code Collaboration
  4. Tools For Github
  5. CodeNav vs derek

CodeNav vs derek

OverviewComparisonAlternatives

Overview

CodeNav
CodeNav
Stacks2
Followers7
Votes0
GitHub Stars132
Forks16
derek
derek
Stacks2
Followers8
Votes0
GitHub Stars816
Forks69

CodeNav vs derek: What are the differences?

CodeNav: A browser extension that improves code navigation on Github. CodeNav is a Chrome extension and Firefox addon that makes navigating code on Github easier and more intuitive. It borrows features from popular IDEs for more seamless movement around code. Hover over a variable to highlight other references and visualize them on your scrollbar. Click a variable or object to search for other instances in the same project; derek: A GitHub 🤖 for managing your Open Source project. When someone sends a PR without a sign-off, I'll apply a label no-dco and also send them a comment pointing them to the contributor guide. Most of the time when I've been helping the OpenFaaS project - people read my message and fix things up without you having to get involved.

CodeNav and derek can be categorized as "Tools for GitHub" tools.

CodeNav and derek are both open source tools. It seems that derek with 455 GitHub stars and 39 forks on GitHub has more adoption than CodeNav with 125 GitHub stars and 19 GitHub forks.

Share your Stack

Help developers discover the tools you use. Get visibility for your team's tech choices and contribute to the community's knowledge.

View Docs
CLI (Node.js)
or
Manual

Detailed Comparison

CodeNav
CodeNav
derek
derek

CodeNav is a Chrome extension and Firefox addon that makes navigating code on Github easier and more intuitive. It borrows features from popular IDEs for more seamless movement around code. Hover over a variable to highlight other references and visualize them on your scrollbar. Click a variable or object to search for other instances in the same project.

When someone sends a PR without a sign-off, I'll apply a label no-dco and also send them a comment pointing them to the contributor guide. Most of the time when I've been helping the OpenFaaS project - people read my message and fix things up without you having to get involved.

Statistics
GitHub Stars
132
GitHub Stars
816
GitHub Forks
16
GitHub Forks
69
Stacks
2
Stacks
2
Followers
7
Followers
8
Votes
0
Votes
0
Integrations
GitHub
GitHub
GitHub
GitHub

What are some alternatives to CodeNav, derek?

Remergr.io

Remergr.io

Keep your pull requests automatically up-to-date and resolve your pull requests' conflicts directly from GitHub's UI. Save hundreds of hours you spend resolving conflicts by keeping always your pull requests automatically up-to-date to reduce the chance of conflicts. If conflicts are found, you can straightforwardly resolve them on GitHub's UI with a click of a button.

Astral

Astral

Astral pulls down all of your starred repositories on GitHub and allows you to organize them using one or more tags.

TravisBuddy

TravisBuddy

TravisBuddy is a cloud service that creates comments in failed pull requests and tell the author what went wrong and what they can do to fix it.

Insight.io for Github

Insight.io for Github

Improve GitHub code browsing experience by decorating file page with x-ref. Insight.io understands the semantics of a lot of Java, Scala, C++/C, Ruby, Python, PHP repositories at github.

Octokit

Octokit

It is a client library targeting .NET 4.5 and above that provides an easy way to interact with the GitHub API.

Release

Release

When run, this command line interface automatically generates a new GitHub Release and populates it with the changes (commits) made since the last release.

GitHub Desktop

GitHub Desktop

It is an open-source multi-platform GUI Git client designed for working with GitHub repositories. Focus on what matters instead of fighting with Git. Whether you're new to Git or a seasoned user, it simplifies your development workflow.

GitHub CLI

GitHub CLI

It is a free and open-source command-line for GitHub. It provides GitHub's graphical features like pull requests, issues, releases, etc. into a terminal. So, anyone can perform the whole GitHub operation from a terminal or with a script.

Datree

Datree

Prevent Kubernetes misconfigurations from reaching production with Datree’s automated policy checks for your pipeline. The open-source CLI tool empowers engineers to write more stable configurations, so they can actually sleep at night.

GitHub Polls

GitHub Polls

These polls work by pasting individual markdown SVG images into your issue, each wrapped with a link that tracks a vote. A single vote per IP is allowed for a given poll, which are stored in DynamoDB.

Related Comparisons

GitHub
Bitbucket

Bitbucket vs GitHub vs GitLab

GitHub
Bitbucket

AWS CodeCommit vs Bitbucket vs GitHub

Kubernetes
Rancher

Docker Swarm vs Kubernetes vs Rancher

gulp
Grunt

Grunt vs Webpack vs gulp

Graphite
Kibana

Grafana vs Graphite vs Kibana