#
dare
Here are 30 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.
ocaml linear-algebra extraction theorem-proving estimation dare formal-methods numerical-methods formal-verification control-theory kalman-filter mathematical-modeling math-comp typst riccati-equations infotheo linear-estimation rocq-prover coqeal efficient-algebra
-
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
data at rest encryption library
-
Updated
Oct 7, 2020 - Go
Game for the Ludum Dare 42
-
Updated
Aug 13, 2018 - GDScript
Add this topic to your repo
To associate your repository with the dare topic, visit your repo's landing page and select "manage topics."