Projects in Awesome Lists tagged with tlc

A curated list of projects in awesome lists tagged with tlc .

• Sort

  • Recently synced
  • Stars

https://github.com/iv-web/ppts

团队对外分享ppt

ivweb tlc

Last synced: 15 May 2025

https://github.com/tlaplus/vscode-tlaplus

TLA+ language support for Visual Studio Code

formal-methods model-checking pluscal specification tla tlc verification vscode-extension

Last synced: 16 May 2025

https://github.com/hwayne/tlacli

A script for running TLA+/TLC from the command line

formal-methods tlaplus tlc

Last synced: 10 Apr 2025

https://github.com/japgolly/tla2json

Convert TLA+ output (and values) into JSON

json tla tla-plus tlaplus tlc

Last synced: 13 Feb 2025

https://github.com/brawl345/get-dmax-links

Get links of Discovery shows and a specific season and/or episode

discovery dmax golang hgtv tlc

Last synced: 02 Dec 2024

https://github.com/hengxin/tlaplus-at-nju-disalg

Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).

lamport-specifying-systems model-checking theorem-proving tla-hyperbook tlaplus tlaplus-video-course tlaps tlc

Last synced: 25 Feb 2025

https://github.com/jehiah/cwc

utilities for CyclistsWithCameras

bikenyc cyclistswithcameras tlc visionzero

Last synced: 22 Mar 2025

https://github.com/hengxin/jupiter-refinement-project

Jupiter Refinement Project

collaborative-editing formal-verification jupiter refinement tla tlaplus tlaps tlc

Last synced: 25 Feb 2025

https://github.com/silveiralexf/tlc-brazil

TLC-BR Website built with Wagtail CMS (Python + Django)

bluemix cms django ibm ibmcloud python tlc tlc-br wagtail

Last synced: 11 Mar 2025

https://github.com/gituser12981u2/sync

p2p file sharing program built with rust

encryption file-sharing networking p2p-network rocket rust tlc websocket

Last synced: 30 Mar 2025