Jianlin Li's starred repositories
spinningup
An educational resource to help anyone learn deep reinforcement learning.
Bayesian-Neural-Networks
Pytorch implementations of Bayes By Backprop, MC Dropout, SGLD, the Local Reparametrization Trick, KF-Laplace, SG-HMC and more
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
pg-is-all-you-need
Policy Gradient is all you need! A step-by-step tutorial for well-known PG methods.
practical-fm
A gently curated list of companies using verification formal methods in industry
type-inference
The Hindley Milner Type Inference Algorithm
nuaathesis
LaTeX document class for NUAA, supporting bachelor/master/PH.D thesis in Chinese/English/Japanese. 南航本科、硕士、博士学位论文 LaTeX 模板
Coq-Equations
A function definition package for Coq
libhandler
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
libmprompt
Robust multi-prompt delimited control and effect handlers in C/C++
Set-Theory
A formalization of the textbook Elements of Set Theory
NPEDetector
Finding the potential null pointer exception