Karina Green-Chan

Popular repositories Loading

2. ml1 ml1 Public

   Jupyter Notebook

5. Forked from sosy-lab/cpachecker

   CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

   SWIG

6. Практикум по Web-технологиям. Разработка небольшого Web-приложения.

   HTML