paddymahoney

followers

following

stars

Patrick Mahoney's repositories

clgen

Deep learning program generator

Language:CGPL-3.0030

CompCert

The CompCert formally-verified C compiler

Language:CoqNOASSERTION030

createthis_vr_ui

CreateThis VR UI

Language:C#MIT030

dactyl-keyboard

Parameterized ergonomic keyboard

Language:ClojureAGPL-3.0030

dcgan-completion.tensorflow

Image Completion with Deep Learning in TensorFlow

Language:PythonNOASSERTION030

DCGAN-tensorflow

A tensorflow implementation of "Deep Convolutional Generative Adversarial Networks"

Language:JavaScriptMIT000

devel

PG-Strom - Master development repository

Language:CGPL-2.0000

digital_video_introduction

A hands-on introduction to video technology: image, video, codec (av1, h264, h265) and more (ffmpeg encoding).

Language:Jupyter NotebookBSD-3-Clause030

fscq

FSCQ is a certified file system written and proven in Coq

Language:CoqNOASSERTION030

generative-adversarial-networks

Introduction to generative adversarial networks, with code to accompany the O'Reilly tutorial on GANs

Language:Jupyter NotebookMIT030

generative-models

Collection of generative models, e.g. GAN, VAE in Pytorch and Tensorflow.

Language:PythonUnlicense030

gtm-atom-plugin

Plugin for the Atom editor to be used with the Git Time Metric platform.

Language:CoffeeScriptMIT030

gvr-unity-sdk

Google VR SDK for Unity

Language:C#Apache-2.0000

HeadlessOverlayToolkit

Create Cross Application OpenVR Overlays! Made with Unity.

Language:C#000

HoTT

Homotopy type theory

Language:CoqNOASSERTION000

magenta

Magenta: Music and Art Generation with Machine Intelligence

Language:Jupyter NotebookApache-2.0030

math-comp

Mathematical Components

Language:Coq030

mist

Mist. Browse and use Ðapps on the Ethereum network.

Language:JavaScriptGPL-3.0030

oh-my-zsh

A community-driven framework for managing your zsh configuration. Includes 120+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 120 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

Language:ShellNOASSERTION030

opentk

This Open Toolkit library is a fast, low-level C# wrapper for OpenGL and OpenAL. It can be used standalone or inside a GUI on Windows, Linux, Mac, Android and iOS.

Language:C#NOASSERTION030

openvr

OpenVR SDK

Language:C++BSD-3-Clause030

overlay_experiments

Using awesomium to make OpenVR overlays

Language:C++BSD-3-Clause000

qtminer

Stratum enabled Ethereum miner

Language:C++MIT030

tilt-brush-toolkit

Scripts and assets that help you use Tilt Brush data in your creative projects.

Language:C#Apache-2.0000

torch-rnn

Efficient, reusable RNNs and LSTMs for torch

Language:LuaMIT030

ts-node

TypeScript execution environment for node

Language:TypeScriptMIT030

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Language:CoqNOASSERTION000

verdi

A framework for formally verifying distributed systems implementations in Coq

Language:CoqBSD-2-Clause030

wallpaper

Language:HaskellBSD-3-Clause030

zplug

:hibiscus: A next-generation plugin manager for zsh

Language:Shell030