aidenybai / tla-ts

A TLA+ interpreter and model checker in TypeScript

tlaplus / tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

quint-co / quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities.

volcano-1025 / CFSM-Theme-LuminaPlus

CF-Server-Monitor 的第三方主题

siddharthdubey2801 / Octa-Plus-Desktop-Suite

OctaPlus Box 2026 Full Version Setup Guide for Windows 10 and 11 Desktop Install

aplus-framework / app

Aplus Framework App Project

CowboyBingus / VanillaPlusMegapack

21 selectable improvements in one package for Helldivers 2, including ship station hotkeys, faster equipment thumbnails and click-and-drag menu scrollbars.

xcoffeetommyx / NSMB-DS-VanillaPlus-Releases

Public patch releases for New Super Mario Bros. DS: Vanilla+. USA A2DE xdelta; no ROMs or project source.