bootlint
HTML linter for Bootstrap projects
Found 11 results for correctness
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
defuss-transval
A fast, functional, reliable and small state (e.g. form) validation library that aims for correctness and simplicity.
@ganbarodigital/ts-lib-value-objects
Helps you create value objects and refined types for safer software
etnostrum
Helps you create value objects and refined types for safer software
bootlint-server
Bootlint Express app
@fairfox/web-ext-verify
Formal verification for message-passing systems using TLA+. Automatically generates TLA+ specifications from TypeScript code.
bootlint-customization
HTML linter for Bootstrap projects
@break-point/specjs
Design by contract javascript library
validalli
A fast, functional, reliable and tiny validation library for forms and runtime datatype checks
@alfonsofilho/specjs
Design by contract javascript library