a templating engine
TLC - Test Led Coding for Claude Code
MCP server for TLA+ toolchain (TLC, SANY, PlusCal, TLATeX)
swagger client for @singletonar/tlc-api-angular-client
A module for rendering templates from memory in tlc
Reusable adaptive SDD workflow skill for Codex projects, with TLC, Grill-me, Context7, subagent, and Git branch guardrails.
TLC Law, PLLC
swagger client for @transporte-tlc/apis/global/libs/angular
MCP server for the NYC FHV Intelligence API. Exposes TLC for-hire vehicle license verification and renewal-window lookups as agent tools backed by fhv.matchup.dev.
An IsoMorphic JavaScript Framework based on Express and TLC
TLC Development Server - Mini-Replit experience
A compiler (written in ClojureScript) for GraphQL type language.
TUI dashboard for TLC (Test-Led Coding) workflow
Background: - We are following multi-layer automation framework architecture using webdriver.io + cucumber + typescript This core framework has been implemented with generic utility functions and cucumber steps, which can be easily consumed by another fra
An extension for isomagic that loads templates from files and can translate them through the use of a tlc command
사내 포탈을 stdio 기반 MCP 서버로 연결하기 위한 TypeScript 프로젝트
Background: - We are following multi-layer automation framework architecture using webdriver.io + cucumber + typescript This core framework has been implemented with generic utility functions and cucumber steps, which can be easily consumed by another fra
Shared context engine for TLC — tiered loading, hybrid search, memory extraction, multi-agent sync
Native PDF viewer
A TLA+ model checker compiled to WebAssembly
data table vuetify CRUD
Phone Number Input Component
No description provided.
Write state machines once in TypeScript. The compiler mathematically proves correctness via TLA+, then generates runtime code and Postgres constraints from the same source.
TLA+ CLI for linting, formatting, and TLC checks
Core record store for datawal: append-only framed records (CRC32C), valid-prefix recovery, bytes-based KV projection with tombstones, manual compaction, and JSONL export. v0.1-pre.
Static analysis tool for the Intent design constraint language — machine-verifiable architectural constraints for codebases
Centrality analysis for dependency graphs and file-level import graphs
Type-safe protocol description language — compiler, verifier, and LSP
Thread-safe, dynamically resizable queues with lock-based and lock-free implementations for high-throughput scenarios
Custom URI scheme utilities (polyglot).
Custom URI scheme utilities (polyglot).
A TLA+ model checker written in Rust
Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
Spec-first, cancel-correct, capability-secure async runtime for Rust.
A high-performance automatic differentiation library for Rust
Chef Workflow based on the idea of Top-Level Cookbooks
This is the "Studio Game" app developed as part of the Pragmatic Studio's Ruby course.
This is a fundraising app developed as part of the Pragmatic Studio's course on the Ruby programming language.
A Ruby wrapper for TLC's Library.Solution v3.3.5 OPAC Web Services API.
Page object maintenance made easier
Active Merchant is a simple payment abstraction library used in and sponsored by Shopify. It is written by Tobias Luetke, Cody Fauser, and contributors. The aim of the project is to feel natural to Ruby users and to abstract as many parts as possible away from the user to offer a consistent interface across all supported gateways.
Enables ruby based applications to communicate with the Xero API
Driver for TLC59116 led driver using I2C
Spawn
Scruffy is a Ruby library for generating high quality, good looking graphs. It is designed to be easy to use and highly customizable.
ImageScience is a clean and happy Ruby library that generates thumbnails -- and kicks the living crap out of RMagick. Oh, and it doesn't leak memory like a sieve. :) This fork does not require RubyInline. For more information (on the original variant), see http://seattlerb.rubyforge.org/ImageScience.html
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.