Starred repositories
《动手学深度学习》:面向中文读者、能运行、可讨论。中英文版被70多个国家的500多所大学用于教学。
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
A curated list of resources dedicated to StarCraft AI.
Experiment code for "Deep Reinforcement Learning in a Handful of Trials using Probabilistic Dynamics Models"
An index of algorithms for offline reinforcement learning (offline-rl)
Book_3_《数学要素》 | 鸢尾花书:从加减乘除到机器学习;上架;欢迎继续纠错,纠错多的同学还会有赠书!
A curated list of awesome Model-based reinforcement learning resources
A curated list of awesome model based RL resources (continually updated)
Book_4_《矩阵力量》 | 鸢尾花书:从加减乘除到机器学习;上架!
A wonderful list of Game Development resources.
Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.
A list of generic tools for parsing binary data structures, such as file formats, network protocols or bitstreams
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
A high-performance distributed training framework for Reinforcement Learning
Python Implementation of Reinforcement Learning: An Introduction
Cranelift based backend for rustc
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
😎 Curated list of awesome things regarding WebAssembly WASI ecosystem.
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Rust / Wasm framework for creating reliable and efficient web applications
😎 Curated list of awesome things regarding the WebAssembly (wasm) ecosystem.
Occlum is a memory-safe, multi-process library OS for Intel SGX
An introduction to programming language theory in Agda