Beast code in Giters

Joe Scott's repositories

Language:SMT100

Python Implementation of Arbitrary Floating Point Numbers

Language:Python000

A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point

Language:C++GPL-3.0000

Language:Python000

Implementation of Graph Convolutional Networks in TensorFlow

Language:PythonMIT000

Models and examples built with TensorFlow

Language:PythonApache-2.0000

A script to measure and limit CPU time and memory consumption of black-box processes in Linux

Language:Perl000

An Open Source Machine Learning Framework for Everyone

Language:C++Apache-2.0000

A very simple generative adversarial network (GAN) in PyTorch

Apache-2.0000

NOASSERTION000

Fuzzer and generator for floating-point problems in SMT-LIB 2.x format.

Language:Tcl000

A TensorFlow Implementation of Tacotron: A Fully End-to-End Text-To-Speech Synthesis Model

Language:PythonApache-2.0100