KIT-TVA/WebCorCTypeScript
Tool support for Correctness-by-Construction developed at Karlsruhe Institute of Technology
(7 star) (4 fork) (1 issue indicizzata) (1 good first issue aperta)
Repository
Newsletter quotidiana
Ricevi issue Easy fresche nella tua inbox.
Iscriviti a GoodFirstIssue Daily per ricevere nuove issue Easy pronte per iniziare lavoro open source adatto ai principianti.