leonid-shevtsov/javascript-formal-prover
Public repository.
Public GitHub Catalog
Discovered Sep 24, 2026
leonid-shevtsov / rails-templates
Rails template - the way it should be.
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.
#793208GitHub System ID
leonid-shevtsovOrganization / User
PublicVisibility
ActiveCatalog Status
More from leonid-shevtsov
leonid-shevtsov/things-app-export
Script to export the local Things.app database into a JSON file
leonid-shevtsov/vagrant-mpich
Script to set up an MPICH cluster with Vagrant & Chef
leonid-shevtsov/node-osascript
Use AppleScript from node