AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

开源机器人学学习指南

Development of homotopy type theory in Agda

Revised Omega-categorical Typechecker

A python slack exporter

Exports Discord chat logs to a file

All the math/tex files for the Automorphic Project

An interactive visualization system on a family of Kleinian groups based on Schottky groups

【编程随想】整理的《太子党关系网络》，专门揭露赵国的权贵

Introduction to Machine Learning class taught at ISU, Fall 2020 to Spring 2021

This is the repo for Vue 2. For Vue 3, go to https://github.com/vuejs/core

电子图书

Listing of online math seminars

A LaTeX Typesetting Game

Source for The Tensor Network open-source review article

【编程随想】收藏的电子书清单（多个学科，含下载链接）

Renders papers from arXiv as responsive web pages so you don't have to squint at a PDF.

China Fake News Collection & Fact Check

贵校课程资料民间整理

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

好耶 是女装

Fcitx Tsundere Addon

Chinese translation for problems in the International Linguistics Olympiad

New snocave installation method for SNO+. Sno packages fall from the web (sky), i.e. snoing.