@isl-lang/stdlib-core
ISL Standard Library - Core types and validations for Intent Specification Language
Ecosystem
npmjs.org
npmjs.org
Latest Release
about 2 months ago
0.1.0
about 2 months ago
Versions
1
1
@isl-lang/verifier-formal 0.1.1
Formal verification for ISL using SMT-LIB and Z32 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/verifier-runtime 1.0.0
Runtime verification engine for ISL implementations2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/verifier-temporal 0.1.1
Temporal property verification for ISL - eventually, within, always2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/verifier-security 0.1.1
Security verifier - verify cryptographic invariants like session token entropy2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/verifier-chaos 0.2.1
Chaos engineering verifier - inject failures, execute scenarios, and produce proof bundles2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/verifier 0.1.1
Evidence-first, deterministic verification engine for ISL specifications2 versions - Latest release: about 2 months ago - 148 downloads last month - 1 maintainer
@isl-lang/test-generator 1.0.0
Generate executable tests with domain-specific assertions from ISL specifications2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-rate-limit 2.0.0
ISL Standard Library - Rate Limiting and Throttling2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-audit 2.0.0
ISL Standard Library - Audit Logging for Compliance2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-idempotency 2.0.0
ISL Standard Library - Idempotency Key Management2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-payments 2.0.0
ISL Payments Standard Library - PCI-compliant payment processing behaviors2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-messaging 1.0.1
ISL Standard Library - Messaging (queues, events, pub/sub)2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-notifications 1.0.1
ISL Standard Library - Notifications (email, SMS, push)2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-billing 2.0.0
Billing and subscription management standard library for ISL2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/solver-z3-wasm 0.1.0
Z3 WASM solver adapter for ISL - provides SMT solving without external installs1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/simulator 0.1.1
ISL Domain Simulator - Simulate and explore ISL domains for testing2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/isl-verify 1.0.0
ISL verification engine with trust score calculation3 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/isl-stdlib 2.0.0
ISL Standard Library Registry - Central index and resolver for all stdlib modules2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/isl-smt 0.1.1
SMT solver integration for ISL - satisfiability checking for preconditions, postconditions, and r...1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/isl-core 1.0.0
ISL Core - Parser, Type Checker, Formatter, Linter, and Verification for the Intent Specification...2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/healer 0.1.0
ISL Self-Healing Pipeline - Safe, idempotent code patching with proof bundles1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/isl-lsp 0.1.1
Language Server Protocol implementation for ISL1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/isl-discovery 0.1.1
ISL Discovery Engine - Automatic implementation discovery and binding generation1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/errors 2.0.0
Unified error infrastructure for the ISL toolchain - best-in-class error messages2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/evidence-schema 2.0.0
Evidence schema with zod validation and stable canonical serialization for ISL verification reports2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/contract-testing 0.1.1
Contract testing framework for ISL specifications1 version - Latest release: about 2 months ago - 50 downloads last month - 1 maintainer
@isl-lang/codegen-types 1.0.0
TypeScript/Python type and validator generator from ISL2 versions - Latest release: about 2 months ago - 1 maintainer
@isl-lang/coverage 1.0.0
Coverage reporting for ISL verification1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/language-server 1.0.0 deprecated
Language Server Protocol implementation for ISL1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/snapshot-testing 0.1.0
Snapshot testing for ISL specifications and generated outputs1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/sdk-react-native 1.0.0
React Native SDK for ISL-verified APIs with hooks, offline support, and TypeScript1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/sdk-web 1.0.0
Browser SDK for ISL-verified APIs with type-safe client generation1 version - Latest release: about 2 months ago - 24 downloads last month - 1 maintainer
@isl-lang/sdk-typescript 0.1.0
TypeScript SDK for ISL-verified APIs - Browser and Node.js1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-analytics 1.0.0 deprecated
Analytics event tracking standard library for ISL1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-distributed 1.0.0 deprecated
ISL Standard Library - Distributed Computing Primitives (Actors, Consensus, CRDTs, Sagas, Service...1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-actors 0.1.0 deprecated
Actor model for ISL - distributed systems, message passing, and supervision1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-email 0.1.0 deprecated
ISL standard library for email templating, validation, and delivery1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-files 1.0.0
File storage standard library for ISL - upload, download, manage files1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-realtime 0.1.0 deprecated
Real-time communication - WebSockets, SSE, and pub/sub1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-saas 1.0.0 deprecated
ISL Standard Library for SaaS applications - complete starter with auth, billing, dashboard1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-scheduling 1.0.0 deprecated
ISL Standard Library - Job Scheduling (cron, delayed jobs, workflows)1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-workflow 0.1.0
Workflow engine standard library for IntentOS - state machines, sagas, and compensation1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-api 0.1.0 deprecated
API definition standard library - REST, GraphQL, and RPC patterns1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-observability 0.1.0 deprecated
Logging, metrics, tracing, and alerting1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-queue 0.1.0
Message queues, job processing, and background tasks1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-events 0.1.0 deprecated
Event sourcing, CQRS, and event-driven architecture patterns1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-cache 0.1.0 deprecated
ISL standard library for caching with multiple backend support1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-auth 1.0.0
Authentication and authorization standard library for ISL1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-database 0.1.0 deprecated
Database operations standard library for ISL1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/stdlib-http 0.1.0 deprecated
HTTP/REST standard library for ISL1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/runtime-sdk 0.1.0
SDK for embedding ISL verification in production code1 version - Latest release: about 2 months ago - 22 downloads last month - 1 maintainer
@isl-lang/runtime-verify 0.1.0
Runtime verification helpers for generated code - pre/post/invariant enforcement1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/runtime-universal 1.0.0
Universal runtime engine for ISL - execute intent specifications across any environment1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/prover 0.1.0 deprecated
Formal verification for ISL - SMT-based proving, property verification, and counterexample genera...1 version - Latest release: about 2 months ago - 1 maintainer
@isl-lang/runtime 0.0.1
ISL (Intent Specification Language) - Runtime1 version - Latest release: 2 months ago - 64 downloads last month - 1 maintainer
Links
| Registry | npmjs.org |
| Source | Repository |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |