Leibniz equivalence and Liskov substitutability library for Scala.
-
Updated
Mar 28, 2022 - Scala
Leibniz equivalence and Liskov substitutability library for Scala.
165 CASES in Film/Music/Arts of Victims & Witnesses (Visual & Performing Arts) to Improve & Save Lives - Cases Filed & Lawsuits, Cases Not Litigated & Investigative, Related Cases (Civil, Criminal, Others), Similar Cases to Arts, with Analysis and Perception Fixer Guides - Accessible for Improvements - Golden Era Hollywood "The Business" to Present
A digital edition and semi-diplomatic transcription of manuscript V, Verona, XXVIII(26): the oldest surviving manuscript of Augustine's De Civitate Dei.
Guide to Successful Cases for Domestic Abuse Victims - Timelines, Types of Abuse, Evidence, Witnesses, Aid, & Maintaining Networks - Successful cases, witnesses, chronologies, correlations, examples, discovery, communications, data analysis - Legal Intern at University
VLT/1 is a Rust implementation of a single-user, single-machine encrypted vault
RPC-Witness Interface Tool For Smoke.io
Protocol suite for apps, runtimes, agents, and tools to exchange witnessed causal history instead of shared state.
Web-based, AI-driven system, where you hold text or audio interviews with a persona, with onscreen and exportable transcripts, for training in witness and suspect interview practice.
Macro-generated protocol witnesses with task-local live, preview, and test overrides for Swift.
To associate your repository with the witnesses topic, visit your repo's landing page and select "manage topics."