thierrymarianne / contrib-ledger-project-eu-safepkt-frontend Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ledgerproject/safepkt_frontend
Frontend application for running static analysis of rust-based programs
Home Page: https://github.com/LedgerProject/safepkt
License: Apache License 2.0