MikaelMayer/leon-web
Web-interface for Leon
Public GitHub Catalog
Discovered Oct 21, 2026
MikaelMayer / SbtRevolverFails
A test case for Sbt revolver
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.
#41851104GitHub System ID
MikaelMayerOrganization / User
PublicVisibility
ActiveCatalog Status
More from MikaelMayer
MikaelMayer/scalajs-spa-tutorial
Tutorial for creating a simple Single Page Application in ScalaJS
MikaelMayer/scalajs-ace
Ace facade types for Scala.js
MikaelMayer/cellerier-mayer-exos
Automatically exported from code.google.com/p/cellerier-mayer-exos