Kaiyangshi-Ito

Kaiyangshi-Ito's Stars

• google-research/google-research

  Google Research

  Language:Jupyter Notebook34.6k7551.3k8k

• matplotlib/matplotlib

  matplotlib: plotting with Python

  Language:Python20.5k59310.6k7.7k

• cupy/cupy

  NumPy & SciPy for GPU

  Language:Python9.6k1272.4k862

• dashingsoft/pyarmor

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

  Language:Python3.8k461.6k295

• sagemath/sage

  Main repository of SageMath

  Language:Python1.5k1135.7k497

• 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 Notebook845290311

• tensorflow/deepmath

  Experiments towards neural network theorem proving

  Language:C++7876517138

• tommyod/KDEpy

  Kernel Density Estimation in Python

  Language:Jupyter Notebook589218892

• Svenskithesource/PyArmor-Unpacker

  A deobfuscator for PyArmor.

  Language:Python56095078

• 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:MATLAB267104105

• stepchowfun/theorem-prover

  An automated theorem prover for first-order logic.

  Language:Python23416631

• mklarqvist/ai-playground

  Playground for various AI projects and demos

  Language:Jupyter Notebook1852327

• u0pattern/PyArmor-Deobfuscator

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

  Language:Python973032

• 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:Python9434950

• dwhalen/holophrasm

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

  Language:Objective-C++527613

• fastlmm/FaST-LMM

  Python version of Factored Spectrally Transformed Linear Mixed Models

  Language:Python4844811

• mines-opt-ml/hj-prox

  Language:Python8403

• Kaiyangshi-Ito/nonconvexAG

  Language:Jupyter Notebook1100