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