paddymahoney

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

category-theory

A formalization of category theory in Coq for personal study and practical work

cleverhans

A library for benchmarking vulnerability to adversarial examples

concat

Constrained categories

crown

The flexible game engine.

deep-learning-nd

Deep learning nanodegree projects

DeepLearning.scala

A simple language for creating complex neural networks

DeepLearningBook

MIT Deep Learning Book in PDF format

ether-proxy

Ethereum mining proxy

history-of-lisp-editing

L2

An elegant untyped, unsafe programming language with unhygienic procedural macros

librosa

Python library for audio and music analysis

LumberyardSDK

Amazon Lumberyard C++ SDK for PlayFab

mezzo

A Haskell library for typesafe music composition

minideb

A small image based on Debian designed for use in containers

models

Models built with TensorFlow

mxnet

Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more

otp

Erlang/OTP

patrick

My home directory

prettytensor

Pretty Tensor: Fluent Networks in TensorFlow

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

RAII.scala

Resource Acquisition Is Initialization

rust

Rust language bindings for TensorFlow

sequence_gan

Generative adversarial networks (GAN) applied to sequential data via recurrent neural networks (RNN).

SNNs

Tutorials and implementations for "Self-normalizing networks"

stephanie-va

Stephanie is an open-source platform built specifically for voice-controlled applications as well as to automate daily tasks imitating much of an virtual assistant's work.

tendermint

Tendermint Core (BFT Consensus) in Go

the-gan-zoo

A list of all named GANs!

virtual_display

An example OpenVR driver for demonstrating the IVRVirtualDisplay interface.

workshop

Docker and Kubernetes Training by Gravitational