60 packages matching “tla”
@informalsystems/quint
v0.32.0 · 5 months ago
Core tool for the Quint specification language
No known vulnerabilities
@yume-chan/stream-extra
v2.6.1 · 3 months ago
Extensions to Web Streams API
No known vulnerabilities
fast-blocked-at
v0.0.2 · 4 years ago
Detect event loop blockages and get a stack trace; fast enough for production.
No known vulnerabilities
@paymentus/auth
v1.0.9 · 3 months ago
Paymentus Auth API Client for Rest APIs
No known vulnerabilities
rollup-plugin-concurrent-top-level-await
v0.4.3 · 1 month ago
Rollup (and Vite) plugin enabling concurrent execution of modules that contain top level await.
No known vulnerabilities
@cognitive-fab/sam-pattern
v2.2.1 · 1 month ago
SAM Pattern library
No known vulnerabilities
rolldown-plugin-concurrent-top-level-await
v0.3.4 · 1 month ago
Rolldown (and Vite) plugin enabling concurrent execution of modules that contain top level await.
No known vulnerabilities
@talariaos/cli
v2.4.21 · 5 months ago
Talaria CLI - Intelligent multi-agent orchestration for Codex
No known vulnerabilities
@alavida/agentpack
v0.2.5 · 5 months ago
Compiler-driven lifecycle CLI for source-backed agent skills
No known vulnerabilities
text-line-array
v1.0.4 · 4 years ago
text line array
No known vulnerabilities
sam-pattern
v1.5.10 · 5 years ago
SAM Pattern library
No known vulnerabilities
near-cli
v4.0.13 · 2 years ago
Simple CLI for interacting with NEAR Protocol
No known vulnerabilities
mansila-tla-mala
v1.1.2 · 2 years ago
(namadi) - This function is used to convert multiple words into an interesting sentence containing the word kuroichi12-complete-themselves.
1 unknown
codivizer
v0.2.5 · 15 days ago
Local-first, deterministic code architecture explorer
No known vulnerabilities
dsh-logicprobe
v0.6.8 · 6 hours ago
Design document & plan claim verification — enumerate claims, verify against codebase facts, then escalate to state-machine verification (S1-S8/A1-A12, including budget/worst-case path-cost checks) and data-model verification (DS/DA/DD) for behavioral cla
No known vulnerabilities
amule-js
v1.0.0 · 8 years ago
javascript client for amule
No known vulnerabilities
@paymentus/core
v1.0.6 · 3 months ago
Paymentus Core Server SDK
No known vulnerabilities
mansila-tla-mafgghjhghla
v1.1.2 · 2 years ago
(namadi) - This function is used to convert multiple words into an interesting sentence containing the word kuroichi12-complete-themselves.
1 unknown
scrabble-dictionary
v1.0.2 · 2 months ago
Scrabble word lists and tile distributions for multiple languages, as plain text and JSON data files.
No known vulnerabilities
throttlekit
v1.7.0 · 2 months ago
Rate limiting you can prove: a machine-checked, fleet-size-independent overshoot bound on one small core — pure-function algorithms, one atomic store across in-memory/Redis/Postgres (proven bit-identical), a 169ns sync API, and provable two-tier leasing (
No known vulnerabilities