jiangsy Goto Github PK

apollo-11

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

awesome-deep-rl

This project is for learning and researching on Deep RL. Maintained by University AI researchers.

bert

TensorFlow code and pre-trained models for BERT

causal-infogan

cfl3d

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

cpu

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

distributed-computing

distributed_computing include mapreduce kvstore etc.

elementarytypeinference

ECOOP 2022 Elementary Type Inference

finrl-library

A Deep Reinforcement Learning Library for Automated Trading in Quantitative Finance. NeurIPS 2020. Please star. 🔥

folly

An open-source C++ library developed and used at Facebook.

fp-lean-zh

Lean 函数式编程

fp_course

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)

h-baselines

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

hadoop

Mirror of Apache Hadoop

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.

intellij-community

IntelliJ IDEA Community Edition

lamda-beamer-template

A beamer template for LAMDA lab at NJU

mbbl

mbpo-tf

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

mbpo_pytorch

mcf

Meta-purpose C++ Foundation