ZiyaoWei

pyMatrixProfile

Python implementation of matrix profile algorithms (http://www.cs.ucr.edu/~eamonn/MatrixProfile.html)

burstdetector

SantaLighthouse

The code and submissions for Santa competition on Kaggle

flix

The Flix Programming Language

.emacs

My emacs init file

6887psets

Problem Sets for MIT 6.887 Formal Reasoning About Programs

book

The Flix Programming Book

containerd

An open and reliable container runtime

cs224u

Code for Stanford CS224u

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

disco

Functional teaching language for use in a discrete mathematics course

frap

Formal Reasoning About Programs

gradle

Adaptable, fast automation for all

highlight.js

JavaScript syntax highlighter with language auto-detection and zero dependencies.

jupyterlab

JupyterLab computational environment.

librosa

Python library for audio and music analysis

lightproto

Protobuf compatible code generator

lkpy

Some Python recommendation tools

networkx

Network Analysis in Python

OpenNMT-py

Open-Source Neural Machine Translation in PyTorch http://opennmt.net/

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

p5.js-web-editor

p5.js Web Editor, officially launched!

penrose

Create beautiful diagrams just by typing mathematical notation in plain text.

pulsar

Apache Pulsar - distributed pub-sub messaging system

pulsar-client-go

Apache Pulsar Go Client Library

sktime

A unified framework for machine learning with time series

t

TruffleSOM

A SOM Smalltalk implemented on top of Oracle's Truffle Framework

Viz

vscode-flix