johankj/spin-web
Web-interface for the Spin model checker.
Public GitHub Catalog
Discovered Sep 29, 2026
johankj / Alfred-Extensions
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#14314748GitHub System ID
johankjOrganization / User
PublicVisibility
ActiveCatalog Status
More from johankj
johankj/brainfuck-interpreter-php
A Brainfuck Interpreter written in PHP.
johankj/geekhub
Geekhub.dk is a website that lists danish developer events.
johankj/Sayman
I had a great opporunity to support Michael is his development of his WWDC app.