kevva/github-search-repos-cli external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

kevva/github-search-repos-cli

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/kevva/github-search-repos-cli)

Close

kevva / github-search-repos-cliView on GitHubMore

• External links
• Readme badge

Search GitHub repositories

☆15Apr 19, 2018Updated 7 years ago

Alternatives and similar repositories for github-search-repos-cli

Users that are interested in github-search-repos-cli are comparing it to the libraries listed below

• keith / ghs

  View on GitHub
  A Github repo search CLI
  ☆20Dec 18, 2023Updated 2 years ago
• denoland / fresh_template

  View on GitHub
  template repository for a Fresh project
  ☆16Oct 22, 2024Updated last year
• lezer-parser / html

  View on GitHub
  An HTML parser for Lezer
  ☆17Jan 5, 2026Updated 2 months ago
• mike-u / wal-to-crx

  View on GitHub
  Work-in-progress on converting Pywal colors to a matching Chrome theme
  ☆11Dec 15, 2019Updated 6 years ago
• catalin-hritcu / fstar-course

  View on GitHub
  Program verification with F* course materials
  ☆12Jul 6, 2019Updated 6 years ago
• kevva / github-search-repos

  View on GitHub
  Search GitHub repositories
  ☆18May 23, 2017Updated 8 years ago
• hw-sw-contracts / leakage-model-testing

  View on GitHub
  ☆11Nov 27, 2024Updated last year
• artagnon / vsfstar

  View on GitHub
  🦅 VSCode extension for F* with IDE features
  ☆16Mar 21, 2020Updated 6 years ago
• sei40kr / vimium-theme

  View on GitHub
  Vivaldi-like theme for Vimium
  ☆12Oct 29, 2018Updated 7 years ago
• FStarLang / fstar-layer

  View on GitHub
  Spacemacs layer for fstar (wrapper for fstar-mode.el)
  ☆11Jul 13, 2020Updated 5 years ago
• S2FrdQ / MSBuildSecurityLabs

  View on GitHub
  Security Lab
  ☆13Jun 5, 2023Updated 2 years ago
• baskerville / xqp

  View on GitHub
  X Query pointer
  ☆18May 1, 2020Updated 5 years ago
• gojiplus / tubern

  View on GitHub
  R Client for the Youtube Analytics and Reporting API
  ☆13Sep 12, 2025Updated 6 months ago
• fsieczkowski / System-T

  View on GitHub
  Formalisation of Goedel's System T in Coq
  ☆15Jul 1, 2011Updated 14 years ago
• codemirror / lang-java

  View on GitHub
  Java language support for the CodeMirror code editor
  ☆16Dec 30, 2025Updated 2 months ago
• FStarLang / atom-fstar

  View on GitHub
  Syntax highlighting for F* in Atom Editor
  ☆11Oct 4, 2021Updated 4 years ago
• arran-nz / dotfiles

  View on GitHub
  REPO HAS MOVED - CHECK README
  ☆13Oct 27, 2020Updated 5 years ago
• codemirror / lang-php

  View on GitHub
  PHP integration for CodeMirror
  ☆21Updated this week
• arthuraa / memory-safe-language

  View on GitHub
  A formalization of properties of a simple imperative, memory-safe language.
  ☆20Sep 27, 2021Updated 4 years ago
• PrincetonUniversity / compcomp

  View on GitHub
  Compositional CompCert
  ☆15Jan 9, 2019Updated 7 years ago
• mavam / gitdub

  View on GitHub
  A github WebHook that emails detailed diffs of your commits.
  ☆26Oct 13, 2018Updated 7 years ago
• baskerville / xlsw

  View on GitHub
  List the X window tree contents
  ☆25Aug 26, 2019Updated 6 years ago
• dscho / Xpra

  View on GitHub
  A Git-SVN mirror of xpra, the formerly genius tool imitating GNU screen for X11
  ☆12Aug 21, 2014Updated 11 years ago
• micro-policies / micro-policies-coq

  View on GitHub
  Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
  ☆20Sep 23, 2019Updated 6 years ago
• ahmadawais / shades-of-purple-alacritty

  View on GitHub
  🦄 Shades of Purple — A professional theme with hand-picked & bold shades of purple for Alacritty.
  ☆18May 11, 2020Updated 5 years ago
• CertiKOS / coqrel

  View on GitHub
  Binary logical relations library for the Coq proof assistant
  ☆22Oct 15, 2025Updated 5 months ago
• Zabanaa / neuromancer.vim

  View on GitHub
  Cyberpunk themed vim colorscheme
  ☆24Jun 24, 2021Updated 4 years ago
• EthereumCommonwealth / Callisto-Website

  View on GitHub
  ☆13Mar 22, 2023Updated 2 years ago
• kostia / riddick

  View on GitHub
  Friendly GUI for managing your I18n translations.
  ☆23May 31, 2013Updated 12 years ago
• willingham / smsMail

  View on GitHub
  Mass texting via Email
  ☆12Jan 1, 2018Updated 8 years ago
• zhukov / prime-factorization-benchmark

  View on GitHub
  Javascript prime factorization benchmark
  ☆19Jul 4, 2014Updated 11 years ago
• aslanix / SmallStepNI

  View on GitHub
  Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
  ☆20Feb 22, 2020Updated 6 years ago
• zhukov / opus-recorder

  View on GitHub
  A library for encoding and decoding web audio as OggOpus.
  ☆17Jan 12, 2018Updated 8 years ago
• clintongormley / GitHubSearch

  View on GitHub
  A demonstration of ElasticSearch and the Perl API, ElasticSearch.pm
  ☆19Aug 18, 2011Updated 14 years ago
• martinlindhe / validjson

  View on GitHub
  Command line tool to validate JSON syntax of input file.
  ☆15Feb 25, 2023Updated 3 years ago
• moajohansson / IsaHipster

  View on GitHub
  Theory Exploration for Isabelle using HipSpec
  ☆20Jun 7, 2024Updated last year
• minimaxir / pokemon-3d

  View on GitHub
  Code + Visualizations processing and visualizing Pokémon data in 3D
  ☆23Aug 3, 2016Updated 9 years ago
• michaelmrose / vi3

  View on GitHub
  vim like keybindings for i3wm
  ☆19Jul 4, 2017Updated 8 years ago
• braverock / FinancialInstrument

  View on GitHub
  ☆19Jan 10, 2018Updated 8 years ago