sleepycoke/Mathematical_Logic_NJUCS external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

sleepycoke/Mathematical_Logic_NJUCS

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/sleepycoke/Mathematical_Logic_NJUCS)

Close

sleepycoke / Mathematical_Logic_NJUCSView on GitHubMore

• External links
• Readme badge

南京大学计算机系数理逻辑课程资料

☆80Jun 25, 2019Updated 6 years ago

Alternatives and similar repositories for Mathematical_Logic_NJUCS

Users that are interested in Mathematical_Logic_NJUCS are comparing it to the libraries listed below

• FengChendian / NJUThesis2021

  View on GitHub
  A LATEX template of NJU Thesis 2021 Version 南京大学本科生毕业论文LaTex模板 2021版
  ☆106Jan 8, 2022Updated 4 years ago
• typoverflow / note

  View on GitHub
  notes for NJU courses
  ☆18Oct 26, 2021Updated 4 years ago
• nju-lug / NJURepo

  View on GitHub
  NJUrepo -- a Nanjing University versatile report template for bachelor
  ☆22Dec 18, 2021Updated 4 years ago
• EricZhu-42 / PedagogySquare_Downloader

  View on GitHub
  南京大学 (Nanjing University) 在线教学平台 —— 教学立方的课件批量下载工具，基于Python + Requests.
  ☆170Feb 27, 2025Updated last year
• courses-at-nju-by-hfwei / problem-solving-class-lectures

  View on GitHub
  Lectures for the "Problem Solving" Class at Nanjing University.
  ☆28Jun 29, 2020Updated 5 years ago
• nju-icpc / code-library-legacy

  View on GitHub
  Standard Code Library for Nanjing University ACM/ICPC Team
  ☆61Oct 24, 2017Updated 8 years ago
• LadderOperator / PedagogySquareAsistant

  View on GitHub
  简单粗暴的教学立方辅助Chrome插件
  ☆46Nov 2, 2020Updated 5 years ago
• nju-lug / NJUVisual

  View on GitHub
  实现南京大学标准配色方案和标识
  ☆29Dec 13, 2022Updated 3 years ago
• zhangyikaii / NJUCS-Course-Material

  View on GitHub
  南京大学计算机系 课程资料 作业 代码 实验报告 NJU-CS 课程分享计划 ​
  ☆1,417Oct 2, 2022Updated 3 years ago
• jiangyy / njuthesis

  View on GitHub
  南京大学山寨毕业论文模版
  ☆139Jan 16, 2019Updated 7 years ago
• nju-lug / NJUThesis

  View on GitHub
  南京大学学位论文模板
  ☆614Updated this week
• loopspace / tikzmark

  View on GitHub
  The dread tikzmark arrives on github
  ☆15Oct 2, 2025Updated 5 months ago
• cubiccm / PotatoPlus

  View on GitHub
  An enhancement project for Nanjing University EAS. 南京大学教务系统改善工程。
  ☆105Feb 15, 2023Updated 3 years ago
• Haixing-Hu / nju-thesis

  View on GitHub
  南京大学学位论文XeLaTeX模板
  ☆439Mar 23, 2021Updated 4 years ago
• cppbear / NJU_OS2020

  View on GitHub
  NJUCS操作系统实验
  ☆10Jun 22, 2020Updated 5 years ago
• wuzhengyi / NJU-BigData

  View on GitHub
  南京大学 大数据综合实验处理
  ☆10May 4, 2018Updated 7 years ago
• idealclover / Life-in-NJU

  View on GitHub
  🏠 南哪指南—南哪大学网址导航
  ☆218Dec 12, 2022Updated 3 years ago
• lsjspl / CQDouDiZhu

  View on GitHub
  酷q斗地主插件
  ☆17Sep 25, 2018Updated 7 years ago
• typoverflow / Pirror

  View on GitHub
  基于树莓派（Pi）和PyGame的魔镜（Mirror）
  ☆18Aug 5, 2022Updated 3 years ago
• wcysai / CodeTemplates

  View on GitHub
  ACM/ICPC Code Templates
  ☆34Dec 7, 2023Updated 2 years ago
• PiscesXP / MakeItxiaGreatAgain

  View on GitHub
  NJU-IT侠社团网站系统，包括预约和后台等等...
  ☆16May 11, 2022Updated 3 years ago
• kottory / NJU-health-report

  View on GitHub
  用于在 GitHub Action 上部署南京大学每日健康填报自动打卡脚本
  ☆109May 19, 2022Updated 3 years ago
• njuhan / njuthesis-nju-thesis-template

  View on GitHub
  南京大学学位论文(本科/硕士/博士)，毕业论文LaTeX模板
  ☆370Jan 14, 2026Updated last month
• newuhe / OSLab2017

  View on GitHub
  NJU operating system course project.
  ☆16Jun 23, 2017Updated 8 years ago
• NJU-ProjectN / ics-pa

  View on GitHub
  The wrapper repo for NJU ICS PA.
  ☆487Aug 26, 2025Updated 6 months ago
• idealclover / NJU-Review-Materials

  View on GitHub
  📝 南哪课程复习资料 Review materials for NJU
  ☆828Nov 19, 2020Updated 5 years ago
• ThyrixYang / nju_cs_kaoyan_19

  View on GitHub
  南京大学计算机&人工智能19考研　南京大学计算机考研
  ☆652Jun 3, 2019Updated 6 years ago
• hengxin / cheat-sheets

  View on GitHub
  Collection of cheat sheets for git, vim, shortcuts, linux commands, and so on.
  ☆90Apr 21, 2025Updated 10 months ago
• MCG-NJU / JoMoLD

  View on GitHub
  [ECCV 2022] Joint-Modal Label Denoising for Weakly-Supervised Audio-Visual Video Parsing
  ☆27Jul 15, 2022Updated 3 years ago
• StardustDL / NJU-OS-Lab

  View on GitHub
  This is the source codes of my programming assignment of OS2019 (Operation System) courses at NJU.
  ☆22Jun 30, 2019Updated 6 years ago
• CR400AF2001 / NJU-AI-IntroAI

  View on GitHub
  2020年秋季南京大学 人工智能导论 课程大作业
  ☆27Mar 24, 2021Updated 4 years ago
• Michael1015198808 / os-workbench

  View on GitHub
  Operating System Labs @ NJU
  ☆24Apr 22, 2020Updated 5 years ago
• ppx123-web / ICS2020

  View on GitHub
  NJU ICS2020 PA for Kuang Yaming Honors School & AI
  ☆23Mar 10, 2021Updated 4 years ago
• zhangt2333 / actions-NjuHealthReport

  View on GitHub
  Github Actions: 完成每日健康填报打卡，So easy
  ☆66Mar 24, 2022Updated 3 years ago
• nju-lug / blogroll

  View on GitHub
  南京大学 Linux Users Group 收集同学和校友们的 Blog
  ☆77Feb 14, 2026Updated 2 weeks ago
• NJU-ProjectN / abstract-machine

  View on GitHub
  A minimal, modularized, and machine-independent hardware abstraction layer
  ☆525Dec 23, 2025Updated 2 months ago
• fool2fish / dragon-book-exercise-answers

  View on GitHub
  Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理（紫龙书）第2版习题答案。
  ☆6,627May 15, 2024Updated last year
• nullxjx / NJU-CS-Kaoyan

  View on GitHub
  南京大学计算机考研经验贴
  ☆115Mar 30, 2024Updated last year
• abhijitmishra / sentinellm-aaai2024

  View on GitHub
  ☆12Mar 19, 2024Updated last year