Search results

1 package found

Sort by: Default

Default
Most downloaded this week
Most downloaded this month
Most dependents
Recently published

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

ifc
IFC
information
non-interference
noninterference
LIO
flow
control
security
ITU
static
analysis
typescript

markido

published version 1.0.6, 2 years ago0 dependents licensed under $ISC