bunelr

GandRL_for_NPS

Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis

karinr-buffer

LoOoOoOoOoOoOoOoOoOoOoOoOoOoOoOoOoOoOoOoOoOoL

sudoku

clementine-el

Emacs Package to control Clementine from emacs

CNTK

Microsoft Cognitive Toolkit (CNTK), an open source deep-learning toolkit

discrete-optimization-assignment

Webapp to collect, compile and validate OMA 2015's optimization assignment

dovl-assignment

sfm-min

Implementation of submodular function minimisation algorithms

Emacs-mode

Extension for Chrome browser

examples

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

goDogstatsd

Implementation of a server for datadog's dogstatsd protocol in go

gurobi.torch

Unofficial Gurobi Torch bindings.

Haskell99Problems

Solving the Ninety-Nine Haskell Problems

imgdir_diff

Compare several folders of images similarly indexed

jax_verify

Neural network verification in JAX

loadcaffe

Load Caffe networks in Torch7

logger

A simple logger for experiments

personal-workspace

Configuration to setup personal development environment on a Virtual Machine - Learning process

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

ReluplexCav2017

smartparens

Minor mode for Emacs that deals with parens pairs and tries to be smart about it.

sygus-comp14

YOPO-You-Only-Propagate-Once

Code for our nips19 paper: You Only Propagate Once: Accelerating Adversarial Training Via Maximal Principle