Kai Yang (Kaiyangshi-Ito)

Kaiyangshi-Ito

Geek Repo

Company:McGill University

Location:Montreal, Quebec

Github PK Tool:Github PK Tool

Kai Yang's starred repositories

google-research

Google Research

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:33529Issues:748Issues:1219

matplotlib

matplotlib: plotting with Python

cupy

NumPy & SciPy for GPU

Language:PythonLicense:MITStargazers:8011Issues:129Issues:2215

pyarmor

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

Language:PythonLicense:NOASSERTIONStargazers:3139Issues:45Issues:1530

sage

Main repository of SageMath

Language:PythonLicense:NOASSERTIONStargazers:1232Issues:10Issues:35613

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 NotebookStargazers:789Issues:27Issues:0

deepmath

Experiments towards neural network theorem proving

Language:C++License:Apache-2.0Stargazers:784Issues:66Issues:17

KDEpy

Kernel Density Estimation in Python

Language:Jupyter NotebookLicense:BSD-3-ClauseStargazers:568Issues:20Issues:83

PyArmor-Unpacker

A deobfuscator for PyArmor.

Language:PythonLicense:GPL-3.0Stargazers:481Issues:9Issues:48

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/

theorem-prover

An automated theorem prover for first-order logic.

ai-playground

Playground for various AI projects and demos

Language:Jupyter NotebookLicense:MITStargazers:183Issues:2Issues:3

PyArmor-Deobfuscator

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

Language:PythonStargazers:97Issues:3Issues:0

finite-element-course

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

holophrasm

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

Language:Objective-C++License:MITStargazers:48Issues:7Issues:6

FaST-LMM

Python version of Factored Spectrally Transformed Linear Mixed Models

Language:PythonLicense:Apache-2.0Stargazers:45Issues:4Issues:46
Language:PythonLicense:MITStargazers:8Issues:4Issues:0
Language:Jupyter NotebookLicense:AGPL-3.0Stargazers:1Issues:1Issues:0