Project
Reverse Dependencies for thor
The projects listed here declare thor as a runtime or development dependency
0.0
A library paring TLA+ language. Gem name `tla-parser-s` because did
not want to reserve "officical" `tla-parser` name.
Sematic routines create a list of files -names (=modules) needed to
satisfy set of entry points. Entry points include names passed as
parameters to command line tool (...
2020
2021
2022
2023
2024
2025
0.0
Automated time lapse photography via gphoto2
2020
2021
2022
2023
2024
2025
0.0
A tool to generate runnable specification models in TLA+ language
for business IT systems. Specification model can be verified using
TLA+ Tools, and parts of it can be presented as implementation
blueprints to developers.
2020
2021
2022
2023
2024
2025
0.0
A command line filter utility for processing
[[http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html][TLA+
Tools]] output resulting created when model checking
[[[http://research.microsoft.com/en-us/um/people/lamport/tla/book.html][TLA+
language]]] formal model gen...
2020
2021
2022
2023
2024
2025
0.0
TLS Cookbook CLI
2020
2021
2022
2023
2024
2025
0.0
Convert TextMate color scgemes to GTK Source View color schemes.
2020
2021
2022
2023
2024
2025
0.0
Script for converting Textmate snippets to Sublime Text 2
2020
2021
2022
2023
2024
2025
0.0
TextMate 2 Bundle/Package Manager
2020
2021
2022
2023
2024
2025
0.0
Track your gem stats with ease!
2020
2021
2022
2023
2024
2025
0.0
Temporary foreign key add/drop tool for using ER generator for "Keyless entry (SQL Antipatterns)" schema.
2020
2021
2022
2023
2024
2025
0.0
Write a longer description or delete this line.
2020
2021
2022
2023
2024
2025
0.0
Building tmux sessions with ease
2020
2021
2022
2023
2024
2025
0.0
Preprocessing TMS Report
2020
2021
2022
2023
2024
2025
0.0
Translation Management Synchronization tool for any translation management service & platform.
2020
2021
2022
2023
2024
2025
0.0
Generate tmux configurations for your projects
2020
2021
2022
2023
2024
2025
0.0
Toadstool styleguide app.
2020
2021
2022
2023
2024
2025
0.0
Tobias is a tool to help you find the optimal work_mem for your queries.
2020
2021
2022
2023
2024
2025
0.0
Ruby library to find ORCID IDs in the DataCite Solr index.
2020
2021
2022
2023
2024
2025
0.0
Search for specific keywords in the codebase and create tickets in the tracker
2020
2021
2022
2023
2024
2025
0.0
Cool todo app
2020
2021
2022
2023
2024
2025