Popular repositories

1. FStar Public

   Forked from FStarLang/FStar

   An ML-like language with a type system for program verification

   F# 1

2. autoproxy Public

   Forked from agunchan/autoproxy

   the smart Firefox proxy management add-on

   JavaScript

3. redis-pusher Public

   Forked from jweyrich/redis-pusher

   A Node.js application that consumes messages published on Redis channels and send them as Push Notifications via APNS or GCM.

   JavaScript

4. swagger-spec Public

   Forked from OAI/OpenAPI-Specification

5. DeepLearnToolbox Public

   Forked from rasmusbergpalm/DeepLearnToolbox

   Matlab/Octave toolbox for deep learning. Includes Deep Belief Nets, Stacked Autoencoders, Convolutional Neural Nets, Convolutional Autoencoders and vanilla Neural Nets. Each method has examples to …

   MATLAB

6. neural-networks-and-deep-learning Public

   Forked from mnielsen/neural-networks-and-deep-learning

   Code samples for my book "Neural Networks and Deep Learning"

   Python