Popular repositories Loading

1. gdb_numpy gdb_numpy Public

   Analyzing C/C++ matrix in the gdb debugger with Python and Numpy

   Python 13 6

2. ufldl_tutorial ufldl_tutorial Public

   Forked from jatinshah/ufldl_tutorial

   Stanford Unsupervised Feature Learning and Deep Learning Tutorial

   Python

3. my_Coq_experiment my_Coq_experiment Public

   learn and try some ideas with Coq.

   Coq

4. software-foundations software-foundations Public

   Forked from B-Rich/sf

   Solutions to the Software Foundations online course

   Coq 6

5. DeepLearningTutorials DeepLearningTutorials Public

   Forked from lisa-lab/DeepLearningTutorials

   Deep Learning Tutorial notes and code. See the wiki for more info.

   Python

6. quantities quantities Public

   Forked from timjb/quantities

   Type-safe physical computations and unit conversions in Idris

   Idris