Kaiyangshi-Ito

Kaiyangshi-Ito's Stars

• google-research/google-research

  Google Research

  Language:Jupyter Notebook33.9k7501.2k7.8k

• matplotlib/matplotlib

  matplotlib: plotting with Python

  Language:Python20k59310.5k7.6k

• cupy/cupy

  NumPy & SciPy for GPU

  Language:Python9.2k1272.3k836

• dashingsoft/pyarmor

  A tool used to obfuscate python scripts, bind obfuscated scripts to fixed machine or expire obfuscated scripts.

  Language:Python3.3k451.6k282

• sagemath/sage

  Main repository of SageMath

  Language:Python1.3k1035.6k460

• dynamicslab/databook_python

  IPython notebooks with demo code intended as a companion to the book "Data-Driven Science and Engineering: Machine Learning, Dynamical Systems, and Control" by Steven L. Brunton and J. Nathan Kutz

  Language:Jupyter Notebook810280303

• tensorflow/deepmath

  Experiments towards neural network theorem proving

  Language:C++7856517137

• tommyod/KDEpy

  Kernel Density Estimation in Python

  Language:Jupyter Notebook576208590

• Svenskithesource/PyArmor-Unpacker

  A deobfuscator for PyArmor.

  Language:Python50694872

• dynamicslab/databook_matlab

  Matlab files with demo code intended as a companion to the book "Data-Driven Science and Engineering: Machine Learning, Dynamical Systems, and Control" by Steven L. Brunton and J. Nathan Kutz http://www.databookuw.com/

  Language:MATLAB256104100

• stepchowfun/theorem-prover

  An automated theorem prover for first-order logic.

  Language:Python23416630

• mklarqvist/ai-playground

  Playground for various AI projects and demos

  Language:Jupyter Notebook1832326

• u0pattern/PyArmor-Deobfuscator

  PyArmor Deobfuscator is a tool that helps to deobfuscate PyArmor-based obfuscated python scripts.

  Language:Python963032

• finite-element/finite-element-course

  The implementation exercise for the final year finite element course given in the Maths Department of Imperial College London

  Language:Python9134949

• dwhalen/holophrasm

  Holophrasm: a neural Automated Theorem Prover for higher-order logic

  Language:Objective-C++507613

• fastlmm/FaST-LMM

  Python version of Factored Spectrally Transformed Linear Mixed Models

  Language:Python4744711

• mines-opt-ml/hj-prox

  Language:Python8403

• Kaiyangshi-Ito/nonconvexAG

  Language:Jupyter Notebook1100