Configuration loader

a barcode generator

A package containing types for CNF Backend (and frontend?)

generate qrcode,support svg base64 utf8

WASM-based toolkit for encoding pseudo-boolean constraints into CNF for SAT solvers

Functions for filtering SQL-like json with conjunctive normal form filters

Helper to build serverelss.yml

convert boolean-json to conjunctive normal form

React configuration form

Implementation of Espresso-II method for heuristic minimization of single output boolean functions

SD-JWT implementation in typescript

CaDiCaL SAT solver compiled to WebAssembly, for Node.js and browsers

Layered SD-JWT credential library for Verifiable Intent (VI) — cryptographically binds an AI agent's commercial actions to a user's delegated purchase intent.

Propositional Satisfiability Checker

Node.JS OpenSSL wrapper

Lightweight package for managing Electron settings and configuration data

AAuth server-side building blocks: challenge headers, interaction management, resource tokens

Command line tools for calvin-network-data and calvin-network-app. Includes prm tool for export PRI and DSS files

公共同用的一些方法

An Angular wrapper for Electron's Renderer APIs