Search GitHub repositories
☆16Apr 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.
Sorting:
- Search GitHub repositories☆19May 23, 2017Updated 9 years ago
- Work-in-progress on converting Pywal colors to a matching Chrome theme☆11Dec 15, 2019Updated 6 years ago
- A library for encoding and decoding web audio as OggOpus.☆19Jan 12, 2018Updated 8 years ago
- Re-usable, easy interface JavaScript chart library based on D3 v4+☆16Mar 13, 2019Updated 7 years ago
- template repository for a Fresh project☆16Oct 22, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Landing page for Project Everest☆12Updated this week
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- Javascript prime factorization benchmark☆18Jul 4, 2014Updated 12 years ago
- Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq …☆13Nov 3, 2022Updated 3 years ago
- An HTML parser for Lezer☆17Apr 15, 2026Updated 6 months ago
- Template repository for automatic extensions publishing☆22Oct 25, 2022Updated 4 years ago
- SwiftUI wrapper for NSPathControl☆14Jan 7, 2026Updated 9 months ago
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆10Jul 13, 2020Updated 6 years ago
- Security Lab☆13Jun 5, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ES2015 Math.acosh() ponyfill☆14Apr 7, 2021Updated 5 years ago
- X Query pointer☆19May 1, 2020Updated 6 years ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- Vivaldi-like theme for Vimium☆12Oct 29, 2018Updated 8 years ago
- R Client for the Youtube Analytics and Reporting API☆13Aug 20, 2026Updated 2 months ago
- ☆11Nov 27, 2024Updated last year
- Java language support for the CodeMirror code editor☆16Apr 15, 2026Updated 6 months ago
- Paragraph grep utility☆18Sep 29, 2026Updated last month
- ☆16Jul 1, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 5 years ago
- REPO HAS MOVED - CHECK README☆13Oct 27, 2020Updated 6 years ago
- Marginalia Encyclopedia☆22May 14, 2025Updated last year
- Watch your MacBook connection☆13Sep 28, 2026Updated last month
- PHP integration for CodeMirror☆20Apr 15, 2026Updated 6 months ago
- An implementation of the IETF QUIC protocol in F*☆21Aug 8, 2019Updated 7 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 8 months ago
- Apple Script commands for Browser Deputy.☆18Aug 25, 2023Updated 3 years ago
- ALMoviesRenamer automatically renames your movie files.☆15Jun 19, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 🦄 Shades of Purple — A professional theme with hand-picked & bold shades of purple for Alacritty.☆19May 11, 2020Updated 6 years ago
- ☆13Mar 22, 2023Updated 3 years ago
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 15 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 5 years ago
- Awesome CKEditor List ✨☆15Jun 2, 2026Updated 4 months ago
- A language agnostic collaborative cloud IDE☆20Apr 20, 2015Updated 11 years ago
- List the X window tree contents☆24Aug 26, 2019Updated 7 years ago