belaban/pluscal belaban/pluscal

  • Stars
    star
    24
  • Rank 956,487 (Top 20 %)
  • Language TLA
  • License
    Apache License 2.0
  • Created about 9 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
belaban/pluscal
github

belaban

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Tests with PlusCal / TLA+

More Repositories

1

JGroups

The JGroups project
Java
1,004
star
2

jgroups-docker

Dockerfile for a container containing JGroups and a couple of demos
Java
34
star
3

workshop

Slides and labs for JGroups workshop
Java
29
star
4

TaskDistribution

Sample code for the task distribution system (article under JGroupsArticles)
Java
13
star
5

SessionPerf

Perf test for clustering of web sessions
Java
5
star
6

SessionDemo.war

2
star
7

IspnPerfTestJMH

Performance tests of ISPN / HC
Java
2
star
8

demo.sar

JBoss demo for EC2
Java
1
star
9

Talks

Collection of Javascript based presentations
HTML
1
star
10

pubsub

Sample project showing how to build a pub-sub system in JGroups
Java
1
star
11

google

Scripts to start/stop/view resources on Google Compute Engine
Shell
1
star
12

SessionView.sar

Displays web sessions in a JBoss cluster (via a servlet)
Java
1
star