Kaiyangshi-Ito

hj-prox

google-research

Google Research

deepmath

Experiments towards neural network theorem proving

holophrasm

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

theorem-prover

An automated theorem prover for first-order logic.

nonconvexAG

finite-element-course

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

sage

Main repository of SageMath. Now open for Issues and Pull Requests.

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

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/

KDEpy

Kernel Density Estimation in Python

ai-playground

Playground for various AI projects and demos

PyArmor-Unpacker

A deobfuscator for PyArmor.

PyArmor-Deobfuscator

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

pyarmor

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

matplotlib

matplotlib: plotting with Python

cupy

NumPy & SciPy for GPU

FaST-LMM

Python version of Factored Spectrally Transformed Linear Mixed Models