reinhrst/fun
Public repository.
Public GitHub Catalog
Discovered Oct 31, 2026
reinhrst / jedi-working-directory-example
Example for discussion in https://github.com/Valloric/ycmd/pull/246
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#43673077GitHub System ID
reinhrstOrganization / User
PublicVisibility
ActiveCatalog Status
More from reinhrst
reinhrst/zsh-autosuggestions
Fish-like autosuggestions for zsh
reinhrst/jedi-server
Stand alone completer commandline for Jedi, that will allow it to interface with other projects (such as youcompleteme)
reinhrst/ycmd
A code-completion & code-comprehension server