lemmy Goto Github PK

photofloat

A Web 2.0 photo gallery done right via static JSON and dynamic JavaScript with no server-side burden but optional server-side SEO engine. Fast. Minimal.

profiles4paxrunner

raft.tla

TLA+ specification for the Raft consensus algorithm

rss-extender

This PHP Script can extend short rss feeds by visiting the site, download all articles and merge them together to get an ultimative feed.

securedslp

Encrypted version of the SLP protocol based on group Diffie-Hellman key exchange

sensors2mqtt

Sends the Android sensor data to an MQTT broker of your choice

sensortag2mqtt

TI BLE Sensortag data to mqtt

shiviz

A tool to visualize distributed system logs

signmacos

skype4java

Clone of skype4java with a Linux DBus binding - LOOKING FOR NEW MAINTAINER

stamminka

Pelican Inhalte für stamminka.de

stats4tlaplus

tla-apalache-workshop

Material for a workshop on Apalache and TLA+. To be populated with more examples.

tla-ci

TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/978-3-030-67220-1_4) Based on Crooks' Isolation (https://dl.acm.org/doi/10.1145/3087801.3087802).

tla-linearizability

Reading the linearizability paper with TLA+

tla-web

TLA+ Web Explorer Prototype

tlaplus

PRIVATE mirror of https://github.com/tlaplus/tlaplus/ - I rewrite history!

tlaplus-radix-tree

TLA+ modules, specifications, and models for Radix trees.

tlapm

The TLA Proof Manager

tlc-perf

Performance measurements for the TLC model checker

tlc-scalability

Scalability measurements for the TLC model checker

tycho

Tycho project repository (tycho)

tychobook

usb-thermometer

Fixed version of pcsensor0.0.1

vscode-mock-debug

Starter sample for developing debug adapters for VSCode.

vscode-tlaplus

TLA+ language support for Visual Studio Code

z3_tutorial

Jupyter notebooks for tutorial on the Z3 SMT solver

zarafa2asterisk

Sets the Asterisk caller ID from Zarafa Contacts