ifc-ts

ifc-ts is a library that provides developers with an API for specifying information-flow security constraints in effectful code. These constraints are checked statically by TypeScript's type checker. Consequently, if an effectful computation, written

sio-ts

Security Information Objects, per ITU Recommendation X.841.