Jbsco/hadlink

A high-assurance identifier and redirect service with formally verified core logic.

语言：Haskell · GitHub 星标：3 · Fork：0

话题：ada · agpl · embedded-systems · encryption · ffi · formal-verification · haskell · high-assurance

在 GitHub 上查看原仓库