timewinder-dev

All

3 repositories

timewinder
Public
Temporal Logic of Actions in Starlark/Go
go golang specification
go golang specification formal-methods formal-verification tla tlaplus starlark
Go
•
GNU General Public License v3.0
•0•1•0•0•Updated Dec 24, 2025Dec 24, 2025
timewinder-rust-experiment
Public
Temporal Logic of Actions in Rust via Starlark
python rust formal-methods
python rust formal-methods formal-verification tla tla-plus tlaplus starlark starlark-lang
Starlark
•
GNU General Public License v3.0
•0•2•2•0•Updated Oct 30, 2023Oct 30, 2023
timewinder-prototype
Public
Temporal Logic of Actions Modeling for Python
python formal-methods tla
python formal-methods tla tlaplus
Python
•
GNU General Public License v3.0
•1•11•0•0•Updated Mar 27, 2021Mar 27, 2021

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.