-
-
category-theory Public
Forked from jwiegley/category-theoryAn axiom-free formalization of category theory in Coq for personal study and practical work
Coq BSD 3-Clause "New" or "Revised" License UpdatedJul 22, 2024 -
Homological-Algebra-Notes Public
Forked from EricWay1024/Homological-Algebra-NotesTypst UpdatedJan 5, 2024 -
agda-mode-vscode Public
Forked from banacorn/agda-mode-vscodeagda-mode on VS Code
ReScript MIT License UpdatedFeb 14, 2023 -
nottingtable-flask Public archive
A Flask based Timetabling Websystem for UNNC Students.
-
Send2KindleBot Public
Forked from GabrielRF/Send2KindleBotSend to Kindle Telegram Bot
Python GNU General Public License v3.0 UpdatedJul 10, 2022 -
douban-to-imdb Public
Forked from f-is-h/douban-to-imdb导出豆瓣电影评分到 IMDB，再将 IMDB观看记录导入 Trakt.
Python UpdatedMar 16, 2022 -
beancount Public
Forked from beancount/beancountOfficial Beancount repository.
Python GNU General Public License v2.0 UpdatedJul 17, 2020 -
-
china-indie-podcasts Public
Forked from typlog/china-indie-podcasts发现与推荐高质量的中文独立播客
HTML UpdatedJun 9, 2019 -
eopl3 Public
Forked from mwand/eopl3Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
Scheme Other UpdatedMay 14, 2019 -
-
{{ message }}