Showing 1-20 of 123,595 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
Common typings for the Stoplight ecosystem.
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
JS client for DatoCMS REST Content Management API
Pure-JS printf
Shallow embedding of Protocols using Agda dependent types
Multiplatform Data Modeling Language featuring dependent types, immutability, validation
Chance - Utility library to generate anything random
BitGo UTXO Core types
Dependent types library
A small, simple and customizable cookie consent bar for use in React applications.
Platform dependent modules installation
A TypeScript ESLint config that loves you
BitGo UTXO Core types
Text recoding in JavaScript for fun and profit!
A Test-Anything-Protocol library for JavaScript
Translation between JavaScript values and Buffers
A stand-alone types package for Undici