Chang-Rong Xue | 薛长荣's repositories
logseq2obsidian
A tool for migration from Logseq to Obsidian
02456-deep-learning-with-PyTorch
Exercises and supplementary material for the deep learning course 02456 using PyTorch.
algs4-assignment
Assignments of algs4
analysis
Mathematical Components compliant Analysis Library
awsome-go-concurrency
Some code snippets for golang concurrency
cli
Unlock Music Project - CLI Edition
DRL_for_Active_High_Frequency_Trading
We introduce the first end-to-end Deep Reinforcement Learning based framework for active high frequency trading.
feature-driven-trading-of-wind-power-and-hydrogen
The code base for the Master's Thesis "Feature-driven trading of wind power and hydrogen" by Emil Helgren
GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
go-concurrency-exercises
Hands on exercises with real-life examples to study and practice Go concurrency patterns. Test-cases are provided to verify your answers.
gorm
The fantastic ORM library for Golang, aims to be developer friendly
gorm.io
GORM official site
hexagon-cli
The cli for hexagon, a task and time mangement tool
infotheo
A Coq formalization of information theory and linear error-correcting codes
leetcode-ankifier
Browser extension that makes anki flash cards of leetcode problems automatically
logseq
A privacy-first, open-source platform for knowledge management and collaboration. Desktop app download link: https://github.com/logseq/logseq/releases, roadmap: https://trello.com/b/8txSM12G/roadmap
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Simple-CV
A minimalistic CV template with BibLaTeX support
taichi
Productive & portable programming language for high-performance, sparse & differentiable computing on CPUs & GPUs
taichi-docs-zh-cn
Taichi中文文档