Highlights
- Pro
Lists (4)
Stars
slatedocs / slate
Forked from ringcentral/slateBeautiful static documentation for your API
JetBrains / swot
Forked from leereilly/swotIdentify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
aelurum / AssetStudio
Forked from Perfare/AssetStudioAssetStudioMod - modified version of Perfare's AssetStudio, mainly focused on UI optimization and some functionality enhancements.
kaleai / ShareLoginLib
Forked from lingochamp/ShareLoginLib第三方登录、分享封装库，几行代码即可完成集成，无需配置混淆。
kelleyk / ppa-emacs
Forked from emacs-mirror/emacsPackaging repository for my Emacs PPA
boism-org / boism_org
Forked from ASKBOT/askbot-develThe website code
ralsei / six-eyes
Forked from TOTBWF/coolttvizA work-in-progress structure editor for the cooltt proof assistant.
RobertHarper / nsml
Forked from SMLFamily/SML-The-Living-LanguageSML The Living Language
为 Github Action 安装 CJK 字体，供使用 pandoc/latex 容器的 Action 自动渲染文档使用
broadinstitute / winstanley
Forked from cjllanwarne/winstanleyAn IntelliJ Plug-in for WDL
Trebor-Huang / at
Forked from mvr/atEffective Algebraic Topology in Haskell
kangxyz / cubical-experiments
Forked from ncfavier/agda-stuffFun with 🧊