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 8 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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• 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
  ☆17Apr 15, 2026Updated 3 months ago
• S2FrdQ / MSBuildSecurityLabs

  View on GitHub
  Security Lab
  ☆13Jun 5, 2023Updated 3 years 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
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• kevva / github-search-repos

  View on GitHub
  Search GitHub repositories
  ☆18May 23, 2017Updated 9 years ago
• catalin-hritcu / fstar-course

  View on GitHub
  Program verification with F* course materials
  ☆12Jul 6, 2019Updated 7 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 6 years ago
• gojiplus / tubern

  View on GitHub
  R Client for the Youtube Analytics and Reporting API
  ☆13Apr 12, 2026Updated 3 months ago
• baskerville / xqp

  View on GitHub
  X Query pointer
  ☆18May 1, 2020Updated 6 years ago
• fsieczkowski / System-T

  View on GitHub
  Formalisation of Goedel's System T in Coq
  ☆15Jul 1, 2011Updated 15 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• FStarLang / atom-fstar

  View on GitHub
  Syntax highlighting for F* in Atom Editor
  ☆11Oct 4, 2021Updated 4 years ago
• codemirror / lang-java

  View on GitHub
  Java language support for the CodeMirror code editor
  ☆16Apr 15, 2026Updated 3 months ago
• braibant / articheck

  View on GitHub
  ☆16Jul 1, 2015Updated 11 years ago
• codemirror / lang-php

  View on GitHub
  PHP integration for CodeMirror
  ☆21Apr 15, 2026Updated 3 months ago
• arran-nz / dotfiles

  View on GitHub
  REPO HAS MOVED - CHECK README
  ☆13Oct 27, 2020Updated 5 years ago
• EthereumCommonwealth / Callisto-Website

  View on GitHub
  ☆13Mar 22, 2023Updated 3 years ago
• arthuraa / memory-safe-language

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

  View on GitHub
  A language agnostic collaborative cloud IDE
  ☆19Apr 20, 2015Updated 11 years ago
• PrincetonUniversity / compcomp

  View on GitHub
  Compositional CompCert
  ☆15Jan 9, 2019Updated 7 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• aslanix / SmallStepNI

  View on GitHub
  Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
  ☆20Jun 3, 2026Updated last month
• baskerville / xlsw

  View on GitHub
  List the X window tree contents
  ☆24Aug 26, 2019Updated 6 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 6 years ago
• CertiKOS / coqrel

  View on GitHub
  Binary logical relations library for the Coq proof assistant
  ☆23Mar 26, 2026Updated 3 months ago
• zhukov / opus-recorder

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

  View on GitHub
  Cyberpunk themed vim colorscheme
  ☆24Jun 24, 2021Updated 5 years ago
• willingham / smsMail

  View on GitHub
  Mass texting via Email
  ☆12Jan 1, 2018Updated 8 years ago
• zhukov / billboard.js

  View on GitHub
  Re-usable, easy interface JavaScript chart library based on D3 v4+
  ☆15Mar 13, 2019Updated 7 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• zhukov / prime-factorization-benchmark

  View on GitHub
  Javascript prime factorization benchmark
  ☆19Jul 4, 2014Updated 12 years ago
• martinlindhe / validjson

  View on GitHub
  Command line tool to validate JSON syntax of input file.
  ☆14Feb 25, 2023Updated 3 years ago
• dilipsundarraj1 / wiremock-for-java-developers

  View on GitHub
  This repository has the code to explore for the wiremock course.
  ☆20Dec 16, 2021Updated 4 years ago
• moajohansson / IsaHipster

  View on GitHub
  Theory Exploration for Isabelle using HipSpec
  ☆20Jun 7, 2024Updated 2 years ago
• ministryofjustice / node-bruteforce

  View on GitHub
  NodeJS HTTP(S) Login Form Bruteforcer
  ☆10Sep 17, 2015Updated 10 years ago
• codemirror / lang-rust

  View on GitHub
  Rust language support for the CodeMirror code editor
  ☆29Apr 15, 2026Updated 3 months ago
• codemirror / lang-json

  View on GitHub
  JSON language support for the CodeMirror code editor
  ☆33Apr 15, 2026Updated 3 months ago