hakobyant's Stars
sympy/sympy
A computer algebra system written in pure Python
hakobyant/sympy
A computer algebra system written in pure Python
Z3Prover/z3
The Z3 Theorem Prover
YerevaNN/translit-rnn
Automatic transliteration with LSTM
YerevaNN/Dynamic-memory-networks-in-Theano
Implementation of Dynamic memory networks by Kumar et al. http://arxiv.org/abs/1506.07285
tensorflow/tensorflow
An Open Source Machine Learning Framework for Everyone