dare
Here are 34 public repositories matching this topic...
The Kalman filter formalized in Rocq/MathComp: discrete Riccati theory (monotonicity, convergence, a unique stabilizing DARE solution), with executable OCaml extraction via CoqEAL.
-
Updated
Aug 29, 2026 - Rocq Prover
TypeScript implementation of the Data At Rest Encryption (DARE) format. DARE combines a modern AE scheme with a simple reordering protection mechanism to build a tamper-resistant encryption scheme.
-
Updated
Jan 6, 2023 - TypeScript
Forge audio assets exporter for Prince of Persia 2008
-
Updated
Dec 10, 2025 - Go
This is a simple 5 different games together
-
Updated
Jul 25, 2023 - Python
When a Warning Advertises: evidence-based commentary on the boomerang effect in anti-drug campaigns, kratom and 7-OH (7-hydroxymitragynine), DARE, psychological reactance, and addiction stigma. Full article, PDF, references and conference abstract.
-
Updated
Oct 22, 2026
data at rest encryption library
-
Updated
Oct 7, 2020 - Go
Independently maintained Go libraries for OtterIO: SIMD hashing, JSON parsing, CRC-64/NVME checksums, and streaming encryption.
-
Updated
Nov 1, 2026 - Go
Add this topic to your repo
To associate your repository with the dare topic, visit your repo's landing page and select "manage topics."