takt CDN files

jsDelivr monthly hits badge
  1. takt@0.74.0 /
  2. node_modules /
  3. @informalsystems /
  4. quint /
  5. dist /
  6. src /
  7. effects
...
base.d.ts 2.51 KB
base.js 16.5 KB
base.js.map 13.66 KB
builtinSignatures.d.ts 903 B
builtinSignatures.js 15.76 KB
builtinSignatures.js.map 12.54 KB
EffectVisitor.d.ts 997 B
EffectVisitor.js 2.05 KB
EffectVisitor.js.map 1.15 KB
inferrer.d.ts 1.89 KB
inferrer.js 16.08 KB
inferrer.js.map 12.07 KB
modeChecker.d.ts 1.34 KB
modeChecker.js 10.88 KB
modeChecker.js.map 8.67 KB
MultipleUpdatesChecker.d.ts 785 B
MultipleUpdatesChecker.js 1.97 KB
MultipleUpdatesChecker.js.map 1.33 KB
namespaces.d.ts 587 B
namespaces.js 2.06 KB
namespaces.js.map 1.52 KB
NondetChecker.d.ts 1.12 KB
NondetChecker.js 3.61 KB
NondetChecker.js.map 2.23 KB
parser.d.ts 447 B
parser.js 4.53 KB
parser.js.map 2.12 KB
printing.d.ts 1.18 KB
printing.js 3.74 KB
printing.js.map 3.02 KB
simplification.d.ts 377 B
simplification.js 3.53 KB
simplification.js.map 2.8 KB
substitutions.d.ts 1.48 KB
substitutions.js 5.31 KB
substitutions.js.map 3.74 KB
ToEffectVisitor.d.ts 1005 B
ToEffectVisitor.js 3.54 KB
ToEffectVisitor.js.map 3.2 KB

Free Open Source CDN for takt

Looking for a nice landing page for your package?