Lamport One Time Signatures.
Simple Lamport one-time signature library
Base64 Lamport timestamps =========================
Lamport One-Time Signatures for Lux Network - Post-quantum secure signatures using only keccak256
Lamport Key Manegement Library
Lamport one-time signatures
This repo contains code for managing keys and interacting with our Lamport Contract Wallets. The point is to bundle all the code needed to interact with the contract wallets in one place. This is important for when we want to build multiple UIs for intera
Financial safety infrastructure for autonomous agents on Solana. Vault.pay() runs through an on-chain policy program — caps, allowlists, kill switch — before a single lamport moves. Compatible with pay.sh and KAST deposit rails.
Observed Removed Set with Unique Lamport Clock
Cross-tab synchronization for @zakkster/lite-signal over BroadcastChannel. Multiplexed per-key sync, deterministic last-writer-wins (Lamport clock + tab-id tiebreak), and reactive presence — peers, status, and leader election exposed as signals.
BibTeX parser
Farms SDK
Timestamps, time math, timer service API definition
A sequence of strings that are lexicographically ordered and grow slowly
A simple implementation of vector clocks in Javascript.
Type-safe Kafka client wrapper for NestJS with typed topic-message maps
Merkle signature scheme client library
Doxiva collaboration engine — step-based CRDT and transports.
A simple round-robin tournament scheduler
[](https://www.npmjs.com/package/kiro-agent) [](https://github.com/AshutoshDM1/Web3-Frontier) [. Much simpler than type-1 UUID's crappy, weirdo layout.
A command line filter utility for processing [[http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html][TLA+ Tools]] output resulting created when model checking [[[http://research.microsoft.com/en-us/um/people/lamport/tla/book.html][TLA+ language]]] formal model generated using [[https://github.com/jarjuk/tla-sbuilder][sbuilder]] -tool.
API language interface to tla-sbuilder. Uses API Loader Extension Point and Snippet Loader Extension Point in tla-sbuilder tool. tla-sbuilder is a tool to generate runnable formal models in TLA+ language http://research.microsoft.com/en-us/um/people/lamport/tla/book.html Generated formal models can be verified using TLA+ Tools http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html.
A set of [mustache] templates extending [tla-trace-filter] -tool to create a self extracting achieve for API traces generated, when model checking formal models created by [tla-Sbuilder] -tool. Also includes Ruby classes to extract test cases from archive extract. Use case: Formal models, built using [tla-sbuilder], and model checked using [TLA+tools]], can generate /API Traces/, which represent end-to-end scenarios executing across system services in the formal model. An API Trace is composed of steps, with each step giving 1) a (formal) system state before the API call, 2) the API call exercised together with (formal model) value bindings of request parameters, 3) API response returned, and 4) the (formal) system state after the API call. A API Trace can be mapped to /Unit Tests/ on implementation with each Unit Test corresponding a step in the API Trace. After executing each of the individual Unit Tests, the aggregate result can be interpreted as an execution of a "virtual" System Test - considerably easier than managing the execution a System Test as a single unit. The purpose of =tla-trace-arch= GEM is create a self extracting archive, which can be safely distributed to system service developers for extracting API Trace Steps to create unit tests for the service being developed by the developer. Ref: - https://github.com/jarjuk/tla-trace-filter - https://mustache.github.io/mustache.5.html - https://github.com/jarjuk/tla-sbuilder - http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html