Pinned Repositories
lkpy
Python recommendation toolkit
librosa
Python library for audio and music analysis
penrose
Create beautiful diagrams just by typing notation in plain text.
sktime
A unified framework for machine learning with time series
burstdetector
flix
The Flix Programming Language
KinectTouch
Turns any surface into a giant touchpad using kinect
pyMatrixProfile
Python implementation of matrix profile algorithms (http://www.cs.ucr.edu/~eamonn/MatrixProfile.html)
SantaLighthouse
The code and submissions for Santa competition on Kaggle
ZiyaoWei's Repositories
ZiyaoWei/pyMatrixProfile
Python implementation of matrix profile algorithms (http://www.cs.ucr.edu/~eamonn/MatrixProfile.html)
ZiyaoWei/burstdetector
ZiyaoWei/SantaLighthouse
The code and submissions for Santa competition on Kaggle
ZiyaoWei/flix
The Flix Programming Language
ZiyaoWei/.emacs
My emacs init file
ZiyaoWei/6887psets
Problem Sets for MIT 6.887 Formal Reasoning About Programs
ZiyaoWei/book
The Flix Programming Book
ZiyaoWei/containerd
An open and reliable container runtime
ZiyaoWei/cs224u
Code for Stanford CS224u
ZiyaoWei/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
ZiyaoWei/disco
Functional teaching language for use in a discrete mathematics course
ZiyaoWei/frap
Formal Reasoning About Programs
ZiyaoWei/gradle
Adaptable, fast automation for all
ZiyaoWei/highlight.js
JavaScript syntax highlighter with language auto-detection and zero dependencies.
ZiyaoWei/jupyterlab
JupyterLab computational environment.
ZiyaoWei/librosa
Python library for audio and music analysis
ZiyaoWei/lightproto
Protobuf compatible code generator
ZiyaoWei/lkpy
Some Python recommendation tools
ZiyaoWei/networkx
Network Analysis in Python
ZiyaoWei/OpenNMT-py
Open-Source Neural Machine Translation in PyTorch http://opennmt.net/
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
ZiyaoWei/p5.js-web-editor
p5.js Web Editor, officially launched!
ZiyaoWei/penrose
Create beautiful diagrams just by typing mathematical notation in plain text.
ZiyaoWei/pulsar
Apache Pulsar - distributed pub-sub messaging system
ZiyaoWei/pulsar-client-go
Apache Pulsar Go Client Library
ZiyaoWei/sktime
A unified framework for machine learning with time series
ZiyaoWei/t
ZiyaoWei/TruffleSOM
A SOM Smalltalk implemented on top of Oracle's Truffle Framework
ZiyaoWei/Viz
ZiyaoWei/vscode-flix