bendisposto/om-next-kanban-demo
A Kanban demo application written using Om Next
Public GitHub Catalog
Discovered Oct 6, 2026
bendisposto / ltsmin-tacas2015
Instructions for installing LTSmin and replicating the runs reported in our TACAS 2015 submission.
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.
#32985914GitHub System ID
bendispostoOrganization / User
PublicVisibility
ActiveCatalog Status
More from bendisposto
bendisposto/RodinAxiomContradictionPOPlugin
Public repository.
bendisposto/docjure
Read and write Office documents from Clojure
bendisposto/table-and-b
Public repository.