EJahren/snaplet-rest
REST resources for the Snap web framework
Public GitHub Catalog
Discovered Sep 29, 2026
EJahren / autocoq
Automatic coq tactic using model finders.
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.
#14981081GitHub System ID
EJahrenOrganization / User
PublicVisibility
ActiveCatalog Status
More from EJahren
EJahren/NorMC
A Norm Compliance Temporal Logic Model Checker
EJahren/c2hs
c2hs is a pre-processor for Haskell FFI bindings to C libraries
EJahren/ExtremeStartupServer
A more advanced server for using with the Extreme Startup Code kata.