vogler/ppx_config
new config/cmdline for goblint as json via ppx
Public GitHub Catalog
Discovered Sep 27, 2026
vogler / goblint-webapp
webapp submodule for goblint/analyzer
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.
#9292963GitHub System ID
voglerOrganization / User
PublicVisibility
ActiveCatalog Status
More from vogler
vogler/.emacs.d
Personal Emacs configuration
vogler/7-more-langs
Seven More Languages in Seven Weeks
vogler/ppx_deriving
Type-driven code generation for OCaml >=4.02