5 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
tla2json 1.0.1-3 0 0.00 Convert TLA+ output and values into JSON. japgolly 2021-03-20 22:04 (UTC)
tla-tools 1.7.3-1 8 0.10 Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX) japgolly 2023-03-21 19:00 (UTC)
shift 8.0.48-1 0 0.00 Shift is the desktop app for streamlining your accounts, apps, and workflows. japgolly 2022-08-19 20:00 (UTC)
sennheiser-gsp670-pulseaudio-profile 1.2-1 1 0.01 PulseAudio profile for the Sennheiser GSP 670 wireless gaming headset japgolly 2021-05-08 03:24 (UTC)
atomicwallet 2.76.4-1 14 0.00 Atomic Wallet is a decentralized Cryptocurrency wallet that supports more than 500 coins and tokens, providing simplicity, safety, and convenience for its users. japgolly 2023-09-12 20:00 (UTC)

5 packages found. Page 1 of 1.