GitHub topics: tlc
NBISweden/teaching_literature_club
NBIS' teaching literature club
Language: Shell - Size: 6.98 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 1
tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
Language: TypeScript - Size: 22.7 MB - Last synced at: 16 days ago - Pushed at: 17 days ago - Stars: 388 - Forks: 41
bytexenon/The-Tiny-Lua-Compiler
⛄Possibly the smallest Lua compiler ever
Language: Lua - Size: 458 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 35 - Forks: 4
Ritikrb126/A-Data-Driven-Look-into-Yellow-Taxi-Operations-Jan-2023
"Data analysis of NYC Yellow Taxi operations using January 2023 TLC dataset – uncovers peak demand zones, payment trends, fare patterns, and operational issues using Python and Kaggle Notebook"
Language: Jupyter Notebook - Size: 1.35 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
iv-web/ppts
团队对外分享ppt
Language: HTML - Size: 840 MB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 915 - Forks: 179
jehiah/cwc
utilities for CyclistsWithCameras
Language: Go - Size: 1.15 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 9 - Forks: 0
informalsystems/modelator-py
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Language: Python - Size: 68.7 MB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 28 - Forks: 3
hwayne/tlacli
A script for running TLA+/TLC from the command line
Language: Python - Size: 2.7 MB - Last synced at: 24 days ago - Pushed at: over 4 years ago - Stars: 80 - Forks: 4
japgolly/tla2json
Convert TLA+ output (and values) into JSON
Language: Scala - Size: 87.9 KB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 26 - Forks: 2
Brawl345/Get-DMAX-Links
Get links of Discovery shows and a specific season and/or episode
Language: Go - Size: 143 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 21 - Forks: 6
XP1/TedThomas.com-tax-sale-states
Lists of tax lien certificate states and tax deed states.
Language: HTML - Size: 246 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
ngmsonn/TLC2Peak
Analyzing thin-layer chromatography (TLC) chromatograms
Language: Python - Size: 41 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1
hengxin/tlaplus-at-nju-disalg
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
Language: TeX - Size: 231 MB - Last synced at: 7 months ago - Pushed at: over 3 years ago - Stars: 12 - Forks: 7
miguelmota/tla-learning 📦
Some examples and notes while learning TLA+ modeling language.
Size: 24.4 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 9 - Forks: 0
gituser12981u2/sync
p2p file sharing program built with rust
Language: Rust - Size: 20.5 KB - Last synced at: 6 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
JYwellin/CRDT-TLA
Specifying and Verifying CRDT Protocols using TLA+
Language: TLA - Size: 1.01 GB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 33 - Forks: 3
hengxin/jupiter-refinement-project
Jupiter Refinement Project
Language: TeX - Size: 55.9 MB - Last synced at: 7 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
silveiralexf/tlc-brazil Fork of wagtail/bakerydemo
TLC-BR Website built with Wagtail CMS (Python + Django)
Language: Python - Size: 16.4 MB - Last synced at: 6 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
mattiaforc/TLC-notes
Notes from Fondamenti di Telecomunicazioni T, ING-INF 2017/2018 course @ UniBo
Size: 1.75 MB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0
boycatbay/TLC
Tool Life Cycle - GUI Web Application
Language: C# - Size: 57.6 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
