NotformeCC/mathininformatics 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

NotformeCC/mathininformatics

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/NotformeCC/mathininformatics)

Close

NotformeCC / mathininformaticsView on GitHubMore

• External links
• Readme badge

☆23Jul 18, 2019Updated 6 years ago

Alternatives and similar repositories for mathininformatics

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

• gcc17 / ics196

  View on GitHub
  ICS seminar 6, 2019 Fall
  ☆11Dec 26, 2019Updated 6 years ago
• wangchang327 / compiler-lab-test-driver

  View on GitHub
  编译原理课程实践中用于测试的代码
  ☆10Jun 9, 2021Updated 4 years ago
• SpiritedAwayCN / ElectiveCaptCha

  View on GitHub
  基于某校选课网的验证码预处理与自动识别
  ☆33Mar 12, 2021Updated 5 years ago
• wangchang327 / latex-templates

  View on GitHub
  日常事务 LaTeX 懒人包
  ☆35Sep 4, 2022Updated 3 years ago
• pku-minic / open-test-cases

  View on GitHub
  Open test cases of PKU compiler course.
  ☆28Dec 2, 2021Updated 4 years ago
• zsdonghao / deep-learning-note

  View on GitHub
  Slides and codes
  ☆20Aug 27, 2019Updated 6 years ago
• yousiki / PKUAutoSubmit-action

  View on GitHub
  百京大学燕园云战役自动填报小助手 Github Action
  ☆17Mar 13, 2021Updated 5 years ago
• magic3007 / MiniJava-Compiler

  View on GitHub
  🕹 Implementation for the lesson Compiling Engineering(2020 Spring) in Peking University, adjusted from UCLA CS 132 Project.
  ☆10Jun 21, 2020Updated 5 years ago
• KireinaHoro / khtcp

  View on GitHub
  PKU CompNet'19 Lab 2 - Homebrew TCP
  ☆12Nov 29, 2019Updated 6 years ago
• YeXiaoRain / JOS_LAB_MIT_2017

  View on GitHub
  代码MIT 2016-2017年JOS LAB(6/6) 过程记录文档为SJTU+MIT
  ☆37Aug 3, 2018Updated 7 years ago
• xmcp / atoz

  View on GitHub
  (a course project) SysY-to-RISCV compiler
  ☆11Jun 8, 2021Updated 4 years ago
• wongsingfo / pku-grad-thesis

  View on GitHub
  北京大学本科生毕业论文 latex 模版，基于 pkuthss 1.9.0 修改
  ☆27May 15, 2022Updated 3 years ago
• PKUFlyingPig / pku-os-course

  View on GitHub
  Course website for Operating System course in Peking University.
  ☆14Nov 28, 2021Updated 4 years ago
• xmcp / elective-dataset-2021spring

  View on GitHub
  某学校选课系统GIF验证码数据集 + Baseline模型 + 上下游相关工具
  ☆29Mar 12, 2021Updated 5 years ago
• cbwang2016 / openconnect-proxy

  View on GitHub
  docker openconnect proxy
  ☆11Feb 3, 2021Updated 5 years ago
• xmcp / PKU_EECS_UGR_THSS_2022

  View on GitHub
  Latex Template for Undergraduate Thesis at School of EECS, Peking University
  ☆42Jun 3, 2022Updated 3 years ago
• NaturezzZ / FractureDetection-PyTorchYOLOv3

  View on GitHub
  Term project of Machine Learning, a PKU course.
  ☆20May 31, 2020Updated 5 years ago
• zhongxinghong / PKUAutoElective

  View on GitHub
  北大选课网补退选阶段自动选课小工具
  ☆741Jul 21, 2023Updated 2 years ago
• PKU-OS / sp22

  View on GitHub
  Spring 2022 Course Website for Operating System Course at Peking University
  ☆11Oct 14, 2022Updated 3 years ago
• ustb-owl / MimiC

  View on GitHub
  MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.
  ☆63Feb 4, 2023Updated 3 years ago
• xmcp / pku-eutopia

  View on GitHub
  兆京大学班车预约 for Humans™
  ☆30Nov 14, 2025Updated 4 months ago
• tensorlayer / cyclegan

  View on GitHub
  CycleGAN in 300 lines of code
  ☆20Jan 28, 2020Updated 6 years ago
• zhongxinghong / PKUElectiveCaptcha2021Spring

  View on GitHub
  北大选课网2021年春季验证码识别
  ☆38Mar 12, 2021Updated 5 years ago
• ravikanthreddy89 / cuda

  View on GitHub
  LU Decomposition using CUDA
  ☆13Dec 7, 2013Updated 12 years ago
• dannyhvalenz / Cool-MacOS-Apps

  View on GitHub
  Apps, icons and more for your Mac
  ☆20Feb 26, 2020Updated 6 years ago
• xiaotianxt / rookie-in-pku

  View on GitHub
  ☆21Sep 13, 2021Updated 4 years ago
• Kaffaljidhmah2 / pku_epidemic

  View on GitHub
  PKU燕园云战疫自动填写器
  ☆21Jan 16, 2021Updated 5 years ago
• zsdonghao / research-and-coding

  View on GitHub
  研究资源列表 A curated list of research resources
  ☆175May 28, 2020Updated 5 years ago
• Mzhhh / PKUElective2021Spring

  View on GitHub
  PKUAutoElective for 2021 spring semester
  ☆103Feb 21, 2022Updated 4 years ago
• jiazhihao / attention_superoptimizer

  View on GitHub
  An Attention Superoptimizer
  ☆22Jan 20, 2025Updated last year
• brownplt / Resugarer

  View on GitHub
  Lifting Reduction Semantics through Syntactic Sugar
  ☆13May 13, 2018Updated 7 years ago
• racket / algol60

  View on GitHub
  ☆13Feb 21, 2026Updated 3 weeks ago
• Shengcao-Cao / ICS-PKU-2017

  View on GitHub
  ICS: Introduction to Computer Systems
  ☆15Sep 18, 2019Updated 6 years ago
• rycolab / aflt-f2023

  View on GitHub
  Advanced Formal Language Theory (263-5352-00L; Frühjahr 2023)
  ☆10Feb 21, 2023Updated 3 years ago
• AllanChain / PKUHoleCommunity

  View on GitHub
  P 大树洞网页版社区分支，欢迎大家动手自己实现功能
  ☆75Oct 17, 2023Updated 2 years ago
• baopj / Vid-Morp

  View on GitHub
  ☆11Dec 6, 2024Updated last year
• cmu-llab / dpd

  View on GitHub
  Implementation of the DPD architecture and related experiments for the ACL 2024 paper "Semisupervised Neural Proto-Language Reconstructio…
  ☆11Jul 22, 2024Updated last year
• nachivpn / k

  View on GitHub
  Meta-theory and normalization for Fitch-style modal lambda calculi
  ☆19May 27, 2024Updated last year
• prathyvsh / history-of-logic

  View on GitHub
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆61Feb 25, 2025Updated last year