Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Pingpong

This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware," 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Toulouse, France, 2017, pp. 146-152.
Stars
10
License
mit
Open Issues
0
Most Recent Commit
6 years ago
Programming Language
TLA
Categories
Site
Repo
Alternatives To Pingpong
Select To Compare
Python ⭐ 28,954
My Python Examples
most recent commit 4 months ago
Gping ⭐ 9,861
Ping, but with a graph
total releases 38most recent commit 4 months ago
N2n ⭐ 5,425
Peer-to-peer VPN
most recent commit 7 months ago
Speed Test ⭐ 3,641
Test your internet connection speed and ping using speedtest.net from the CLI
dependent packages 10total releases 14most recent commit 2 years agonpm speed-test} Downloads
Websocket ⭐ 3,250
Minimal and idiomatic WebSocket library for Go
dependent packages 2,410total releases 39most recent commit 5 months ago


Suggest An Alternative To pingpong
Popular Networking Categories
Server
Network
Http
Proxy
Port
Email
Websocket
Hosts
Router
Upload

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ping
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.