Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

10,057–10,080 of 11,469 · Most stars

🔥Firebase CLI (firebase-tools) plugin for asdf version manager. Pin your Firebase CLI version for each project without Node.js or npm!

  • asdf
  • asdf-vm
  • asdf-plugin
  • google

A Vert.x-powered asynchronous multithreaded web server with simple annotation-based configuration of routes

🚀 Hop to anywhere, not just words. Jump based on labels to file paths, URLs, and Markdown links from any buffer(including terminal buf)

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

  • coq
  • mathcomp
  • ssreflect
  • tarjan-algorithm