jiangsy

mbpo_pytorch

slbo_pytorch

LAMDA-Beamer-Template

A beamer template for LAMDA lab at NJU

fp_course

h-baselines

A repository of high-performing hierarchical reinforcement learning models and algorithms.

mbbl

mbpo-tf

Code for the paper "When to Trust Your Model: Model-Based Policy Optimization"

oplss_22

pdf2pptx

Convert your (Beamer) PDF slides to (Powerpoint) PPTX

causal-infogan

coq-dpdgraph

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

CoqGym

A Learning Environment for Theorem Proving with the Coq proof assistant

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

GAMES101-HW

Homework repo. for GAMES-101: https://sites.cs.ucsb.edu/~lingqi/teaching/games101.html

GraphGym

Platform for designing and evaluating Graph Neural Networks (GNN)

hand_dapg

Repository to accompany RSS 2018 paper on dexterous hand manipulation

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

mj_envs

A collection of MuJoCo based environments.

mjrl

Reinforcement learning algorithms for MuJoCo tasks

robel

ROBEL: Robotics Benchmarks for Learning with low-cost robots

SBM-meet-GNN

Implementation of SBM-meet-GNN

tfdiffeq

Tensorflow implementation of Ordinary Differential Equation Solvers with full GPU support

torchsde

Differentiable SDE solvers with GPU support and efficient sensitivity analysis.

torchtyping

Runtime type annotations for the shape, dtype etc. of PyTorch Tensors.

TypingFormalization