ziyaowei Goto Github PK

.emacs

My emacs init file

6887psets

Problem Sets for MIT 6.887 Formal Reasoning About Programs

book

The Flix Programming Book

burstdetector

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

flix

The Flix Programming Language

frap

Formal Reasoning About Programs

gradle

Adaptable, fast automation for all

highlight.js

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

jackbythenotes

Music notes player based on the JACK Audio Connection Kit

jupyterlab

JupyterLab computational environment.

kinecttouch

Turns any surface into a giant touchpad using kinect

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

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

sktime

A unified framework for machine learning with time series

t

trufflesom

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