ZiyaoWei

New York, New York, USA

Pinned Repositories

lkpy
Python recommendation toolkit
Language:Python270 7 16061
librosa
Python library for audio and music analysis
Language:Python7.2k 136 1.2k966
penrose
Create beautiful diagrams just by typing notation in plain text.
Language:TypeScript7.6k 119 757349
sktime
A unified framework for machine learning with time series
Language:Python8k 109 2.6k1.4k
burstdetector
Language:Python2 3 02
flix
The Flix Programming Language
Language:Scala0 0 00
KinectTouch
Turns any surface into a giant touchpad using kinect
Language:C++1 3 01
pyMatrixProfile
Python implementation of matrix profile algorithms (http://www.cs.ucr.edu/~eamonn/MatrixProfile.html)
Language:Python33 9 214
SantaLighthouse
The code and submissions for Santa competition on Kaggle
Language:Java1 2 00

ZiyaoWei's Repositories

ZiyaoWei/pyMatrixProfile
Python implementation of matrix profile algorithms (http://www.cs.ucr.edu/~eamonn/MatrixProfile.html)
Language:Python33 9 214
ZiyaoWei/burstdetector
Language:Python2 3 02
ZiyaoWei/flix
The Flix Programming Language
Language:Scala0 0 00
ZiyaoWei/6887psets
Problem Sets for MIT 6.887 Formal Reasoning About Programs
Language:Coq2 0
ZiyaoWei/book
The Flix Programming Book
Language:JavaScript0 0
ZiyaoWei/containerd
An open and reliable container runtime
Language:Go1 0
ZiyaoWei/cs224u
Code for Stanford CS224u
Language:Jupyter Notebook2 0
ZiyaoWei/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT1 0
ZiyaoWei/disco
Functional teaching language for use in a discrete mathematics course
Language:Haskell2 0
ZiyaoWei/frap
Formal Reasoning About Programs
Language:Coq2 0
ZiyaoWei/highlight.js
JavaScript syntax highlighter with language auto-detection and zero dependencies.
Language:JavaScript0 0
ZiyaoWei/jupyterlab
JupyterLab computational environment.
Language:TypeScript2 1
ZiyaoWei/librosa
Python library for audio and music analysis
Language:Python2 0
ZiyaoWei/lightproto
Protobuf compatible code generator
Language:Java0 0
ZiyaoWei/lkpy
Some Python recommendation tools
Language:Python2 0
ZiyaoWei/mpl-tutorial
Tutorial for using the MPL compiler for Parallel ML
Language:Standard ML
ZiyaoWei/nanofuzz
NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
Language:TypeScript1
ZiyaoWei/networkx
Network Analysis in Python
Language:Python1 0
ZiyaoWei/OpenNMT-py
Open-Source Neural Machine Translation in PyTorch http://opennmt.net/
Language:Python2 0
ZiyaoWei/OpenSpace
This is the official GitHub repository for OpenSpace: an open source astrovisualization project. For instructions on how to build and run OpenSpace, see the Getting Started Guides on the wiki page at http://wiki.openspaceproject.com
Language:C++1 0
ZiyaoWei/p5.js-web-editor
p5.js Web Editor, officially launched!
Language:JavaScript2 0
ZiyaoWei/penrose
Create beautiful diagrams just by typing mathematical notation in plain text.
Language:TypeScript0 0
ZiyaoWei/pulsar
Apache Pulsar - distributed pub-sub messaging system
Language:Java1 0
ZiyaoWei/pulsar-client-go
Apache Pulsar Go Client Library
Language:Go1 0
ZiyaoWei/sktime
A unified framework for machine learning with time series
Language:Python0 0
ZiyaoWei/t
3 01
ZiyaoWei/TruffleSOM
A SOM Smalltalk implemented on top of Oracle's Truffle Framework
Language:Java1 0
ZiyaoWei/Viz
Language:JavaScript2 1
ZiyaoWei/vscode-flix
Language:TypeScript0 0
ZiyaoWei/ziyaowei.github.io
Language:JavaScript