Popular repositories

1. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

2. alive-nj alive-nj Public

   Forked from rutgers-apl/alive-nj

   Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM

   Python

3. DeepLearning DeepLearning Public

   Deep Learning Projects

4. examples examples Public

   Forked from pytorch/examples

   A set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.

   Python

5. torch7 torch7 Public

   Forked from torch/torch7

   http://torch.ch

   C

6. pytorch-cifar pytorch-cifar Public

   Forked from kuangliu/pytorch-cifar

   Half Precision Training for Convolution Neural Networks

   Python