Showing 1-20 of 129,602 packages
A package containing circuit dependent types which are relevant through all the Aztec Typescript codebase.
A package containing non circuit dependent types which are relevant through all the Aztec Typescript codebase.
A compiler for a Clojurescript Dialect with Dependent Types
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
Common typings for the Stoplight ecosystem.
JS client for DatoCMS REST Content Management API
Pure-JS printf
Shallow embedding of Protocols using Agda dependent types
Platform dependent modules installation
Multiplatform Data Modeling Language featuring dependent types, immutability, validation
Chance - Utility library to generate anything random
BitGo UTXO Core types
The ultimate javascript content-type utility.
A small, simple and customizable cookie consent bar for use in React applications.
Strict TypeScript and Flow types for style based on MDN data
A collection of essential TypeScript types
micromark utility with a couple of typescript types
Utility types for Material UI.
Utility Types Collection for TypeScript
Type definitions and documentation for Bun, an incredibly fast JavaScript runtime