GitHub topics: tla-language
seanpm2001/AI2001_Category-Source_Code-SC-TLA
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:TLA category for AI2001, containing TLA programming language datasets
Language: R - Size: 2.45 MB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1
seanpm2001/SNU_2D_ProgrammingTools_IDE_TLA
The TLA Programming language IDE submodule for SNU Programming Tools (2D Mode)
Language: TLA - Size: 392 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
seanpm2001/Learn-TLA
A repository for showcasing my knowledge of the TLA programming language, and continuing to learn the language
Language: TLA - Size: 348 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1