is3ka1

is3ka1's Stars

• ipython/ipython

  Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

  Language:Python16.3k4.4k

• kiteco/issue-tracker

  User-reported issues for Kite

  1.8k135

• magenta/magenta

  Magenta: Music and Art Generation with Machine Intelligence

  Language:Python19.3k3.7k

• hmmlearn/hmmlearn

  Hidden Markov Models in Python, with scikit-learn like API

  Language:Python3.1k738

• nightbloo/nb3bot

  NB3bot's place of birth

  Language:JavaScript310

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.5k1.5k