Skip to content

BryceWDesign/IX-Decriel

BranchesTags

Repository files navigation

IX-Decriel

About

Security-first programming language for building high-assurance services, secure communications, privacy-aware networking tools, policy-enforced runtimes, secret-safe data pipelines, and auditable least-authority systems.

www.linkedin.com/in/brycewdesign/

Topics

programming-language rust cryptography sandboxing memory-safety formal-methods systems-programming privacy-preserving policy-enforcement effect-system capability-security supply-chain-security proof-carrying-code auditability runtime-assurance secure-by-construction default-deny security-language least-authority secret-tracking

Resources

Readme

License

Apache-2.0 license

Security policy

Security policy
Activity

Stars

1 star

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages