bootlint

HTML linter for Bootstrap projects

v1.1.0 URL: https://unpkg.com/bootlint@1.1.0/src/bootlint.js

Open Browse Files

bootstrap checker correctness html lint linter validator validity

lean-agentic

High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic

v0.3.2 URL: https://unpkg.com/lean-agentic@0.3.2/dist/index.js

Open Browse Files

@ganbarodigital/ts-lib-value-objects

Helps you create value objects and refined types for safer software

v2.1.0 URL: https://unpkg.com/@ganbarodigital/ts-lib-value-objects@2.1.0/lib/index.js

Open Browse Files

typescript value objects type refinement refined types branded types flavoured types programming by contract defensive programming robustness correctness functional programming

defuss-transval

A fast, functional, reliable and small state (e.g. form) validation library that aims for correctness and simplicity.

v1.3.0 URL: https://unpkg.com/defuss-transval@1.3.0/dist/index.cjs

Open Browse Files

validation form async extensibility tiny correctness functional flexibility

@fairfox/web-ext-verify

Formal verification for message-passing systems using TLA+. Automatically generates TLA+ specifications from TypeScript code.

v0.1.0 URL: https://unpkg.com/@fairfox/web-ext-verify@0.1.0/dist/index.js

Open Browse Files

formal-verification tla-plus tla+model-checking verification chrome-extension web-extension message-passing event-bus websocket concurrent-systems distributed-systems correctness testing typescript cli