Popular repositories Loading

1. Edge-Computing-Codes Edge-Computing-Codes Public

   Forked from hliangzhao/Edge-Computing-Codes

   Implementation of Edge Computing papers.

   MATLAB 1

2. papers papers Public

   the research paper that published

3. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

4. pysmt pysmt Public

   Forked from pysmt/pysmt

   pySMT: A library for SMT formulae manipulation and solving

   Python

5. dynamic dynamic Public

   Forked from bryanhe/dynamic

   EchoNet-Dynamic is a deep learning model for assessing cardiac function in echocardiogram videos.

   Python

6. Yet-Another-EfficientDet-Pytorch Yet-Another-EfficientDet-Pytorch Public

   Forked from zylo117/Yet-Another-EfficientDet-Pytorch

   The pytorch re-implement of the official efficientdet with SOTA performance in real time and pretrained weights.

   Python