jiangsy

Pinned Repositories

mech-type-theories
Mechanizations of Type Theories
Language:Agda27 1 21
agda-mode-vscode
agda-mode on VS Code
Language:ReScript0 0 00
binding_technique_exp
Language:Coq30
fp_course
Language:Coq1 1 00
h-baselines
A repository of high-performing hierarchical reinforcement learning models and algorithms.
Language:Python1 1 00
LAMDA-Beamer-Template
A beamer template for LAMDA lab at NJU
Language:TeX14 1 09
mbpo_pytorch
Language:Python28 4 65
NbE_SystemT
Language:Agda2 2 00
slbo_pytorch
Language:Python14 1 10
worklist_intersection_union
Language:Coq0 3 00

jiangsy's Repositories

jiangsy/SoftwareFoundation
Language:Coq1 2 00
jiangsy/Apollo-11
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
Language:Assembly2 0
jiangsy/awesome-deep-rl
This project is for learning and researching on Deep RL. Maintained by University AI researchers.
2 0
jiangsy/bert
TensorFlow code and pre-trained models for BERT
Language:Python
jiangsy/CFL3D
Language:Fortran
jiangsy/cpu
Language:HTML2 0
jiangsy/distributed-computing
distributed_computing include mapreduce kvstore etc.
Language:Go
jiangsy/folly
An open-source C++ library developed and used at Facebook.
Language:C++
jiangsy/hadoop
Mirror of Apache Hadoop
Language:Java
jiangsy/intellij-community
IntelliJ IDEA Community Edition
Language:Java2 0
jiangsy/MCF
Meta-purpose C++ Foundation
Language:C++
jiangsy/PlaneExtraction
Language:C++2
jiangsy/planet
Deep Planning Network: Control from pixels by latent planning with learned dynamics
Language:Python2 0
jiangsy/progfun1-objsets
Language:Scala
jiangsy/SBM-meet-GNN
Implementation of SBM-meet-GNN
Language:Jupyter Notebook1 0
jiangsy/Slicer
Language:C++
jiangsy/the-gan-zoo
A list of all named GANs!
Language:Python
jiangsy/tidb
TiDB is a distributed NewSQL database compatible with MySQL protocol
Language:Go2 0