ldxiao Goto Github PK

banana-space

bcclean_jupyters

btex

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

cubic-bezier

Playground for CSS bezier-based timing functions

eventpp

Event Dispatcher and callback list for C++

examples

A set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.

facemeshrt

A demo for generating face mesh simple expression tracking from stereo camera

fddiffusion

A 1D BVP IBVP solver for diffusion or advection type PDE, with fruitful choice of integrators and illustration tool

fsm

Finite State Machine Designer

goltorust

A Game of life simulator written with Rust and React

goreactchatapp

A React Go Mongodb real time chat app

hessian-eigen-pytorch

A tool to analyze and plot the local curvature information of a neural-network, implemented with pytorch

issue_attachments

lab-kubernetes

NYU DevOps Course Lab on Docker and Kubernetes

latextools

LaTeX plugin for Sublime Text 2 and 3

libigl

Simple C++ geometry processing library.

lithium

C++17 High Performance HTTP APIs Framework.

mangacraft

Semi-automatic manga colorization project

master_thesis_ldxiao

mygolangreacttemplate

notes2017fall

Some live-latexed notes and personal reading notes

notes2018spring

odeot

use neural ODE to train for an optimal transport

patchembed

Robust algorithm for patch layout embedding

pdspectr

A scipy style package for solving stiff differential eqauations

pencilsketcheffect

Real Time Hatching In Unity

plastex

plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.

pokebuddy

pokemongo-bot

The Pokemon Go Bot, baking with community.