Shengyi Jiang's repositories
LAMDA-Beamer-Template
A beamer template for LAMDA lab at NJU
h-baselines
A repository of high-performing hierarchical reinforcement learning models and algorithms.
coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
CornellCSWiki
Student-run wiki for students interested in computer science at Cornell University
cs-video-courses
List of Computer Science courses with video lectures.
dependent-polymorphic-subtyping
Formalization for Dependent Polymorphic Subtyping, from a sub-directory of my main working repository
ElementaryTypeInference
ECOOP 2022 Elementary Type Inference
FinRL-Library
A Deep Reinforcement Learning Library for Automated Trading in Quantitative Finance. NeurIPS 2020. Please star. 🔥
GAMES101-HW
Homework repo. for GAMES-101: https://sites.cs.ucsb.edu/~lingqi/teaching/games101.html
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
torchtyping
Runtime type annotations for the shape, dtype etc. of PyTorch Tensors.