juesato Goto Github PK

arduinopeaches

musical instrument made out of fruits

basset

Convolutional neural network analysis for predicting DNA sequence activity.

beetmachine

beat machine made out of beets

cipher-solver

Monoalphabetic substitution cipher solver

cleverhans

An adversarial example library for constructing attacks, building defenses, and benchmarking both

codeforcesdata

Code to generate dataset of user submissions from codeforces.com

cvxpy

A Python-embedded modeling language for convex optimization problems.

dotfiles

dpnn

deep extensions to nn

emp_examples

empirical_ben

engauge

personalizing large lecture halls with realtime Q&A

ftft

for the first time lalalala

gchat

a quick chat client modelled after gchat, made for my friends

gspeech-api

Node.js wrapper library to easily access Google Speech Recognition API

hotkeys

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

jax_verify

juesato.github.io

learning_programs

lw_pdf_exporter

mario3sat

Transforms 3SAT problems into playable Super Mario Bros levels

mipverify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming

mitns

MIT people directory scraper

moocow

mufuru

Tensorflow Implementation of Multi-Function Recurrent Unit

neuralchat

nn

noq

Noq is an online logic puzzle solver using Python and clasp!

peachessoundboard

soundboard to accompany ArduinoPeaches