An elegant PyTorch deep reinforcement learning library.

High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)

A destination passing style formatting library for MoonBit with extensible API design and efficient memory management.

The Art of Computer Programming (TAOCP) is a comprehensive monograph written by computer scientist Donald Knuth that covers many kinds of programming algorithms and their analysis.

Modern scientific computing for OCaml

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

async programming library for MoonBit

MoonBit's Core library

Simple Propagator Implementation in MoonBit

MoonBit implementation of classic adapton

A new markup-based typesetting system that is powerful and easy to learn.

📄 同济大学本科生毕业设计论文模板 | Tongji University Undergraduate Thesis Template | Overleaf / Mac / Linux / Windows / Workshop / Docker

moonbit ❤️ leetcode

A popular science book about mathematics

A textbook on informal homotopy type theory

Minimal CSS Framework for semantic HTML

🐒 Normalize browsers' default style

CSS Boilerplate / Starter Kit: Collection of best-practice CSS selectors

History of type theory (Chinese).

Programming in Lua, 4th Edition, Lua 编程，第 4 版

Chez Scheme

MoonBit Port of Implementations for Pierce's Types and Programming Languages

The docs of MoonBit programming language