belaban/pluscal
Tests with PlusCal / TLA+
Public GitHub Catalog
Discovered Sep 24, 2026
belaban / demo.sar
JBoss demo for EC2
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.
#1037043GitHub System ID
belabanOrganization / User
PublicVisibility
ActiveCatalog Status
More from belaban
belaban/raftconsensus.github.io
website at http://raftconsensus.github.io
belaban/pubsub
Sample project showing how to build a pub-sub system in JGroups
belaban/jgroups-docker
Dockerfile for a container containing JGroups and a couple of demos