slepp

Requisite.CSharp
by: slepp
- .NET 8.0
- 116 total downloads
- last updated 8/4/2026
- Latest version: 0.1.0
- typestate validation type-safety taint confidence freshness ttl capability
Typed untrusted-to-trusted transitions, confidence gates, and per-value freshness checks for .NET.
Requisite.FSharp
by: slepp
- .NET 8.0 .NET Standard 2.0
- 115 total downloads
- last updated 8/4/2026
- Latest version: 0.1.0
- fsharp typestate taint validation type-safety freshness
Data-handling requirements encoded in idiomatic F# types.