🍃 A minimal documentation theme
-
Updated
Dec 19, 2023 - HTML
#
writ
Here are 7 public repositories matching this topic...
A Writ is a Copy-Minimal, Reversible Mutation Primitive Designed for Speculative State Editing, Instant Rollback, Deterministic Replay, and Patch Extraction Across Complex Rust Data Structures
-
Updated
Jun 12, 2026 - Rust
One tool makes the timetable, another judges it: CP-SAT solves, writ audits — an independent oracle over a foreign solver's output.
python scheduling verification formal-methods constraint-programming writ timetabling or-tools cp-sat independent-oracle
-
Updated
Aug 13, 2026 - Python
Designing system architectures by exhaustion — a systems-engineering layer over writ.
modeling d2 formal-methods adr writ software-architecture design-space architecture-as-code c4-model diagrams-as-code architecture-decision-record
-
Updated
Aug 13, 2026 - Shell
Worked writ models — puzzles, scheduling, institutional scenarios — and a runner that checks the answers.
state-machine examples modeling scheduling verification model-checking formal-methods puzzles writ constraint-satisfaction worked-examples
-
Updated
Aug 13, 2026 - Shell
VS Code client for writ: diagnostics, outline, hover and completion, served by the language's own OCaml server.
-
Updated
Aug 13, 2026 - JavaScript
Improve this page
Add a description, image, and links to the writ topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the writ topic, visit your repo's landing page and select "manage topics."