leonid-shevtsov/javascript-formal-prover
Public repository.
Public GitHub Catalog
Discovered Oct 17, 2026
leonid-shevtsov / clojars-web
A community repository for open-source Clojure libraries
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.
#39337706GitHub 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