Alternatives and similar repositories for NJU-Introdution-to-Models-of-Computation

Users that are interested in NJU-Introdution-to-Models-of-Computation are comparing it to the libraries listed below

• huanght1997 / IntroComputationModel

  View on GitHub
  南京大学宋方敏《计算模型导引》题解
  ☆141Mar 25, 2022Updated 3 years ago
• nemoworks / NJUGraduateCourses

  View on GitHub
  ☆69Oct 14, 2022Updated 3 years ago
• AsanoSaki / king_of_bots

  View on GitHub
  基于 SpringBoot 的 AI BOT 对战小游戏~
  ☆10Dec 8, 2023Updated 2 years ago
• tlaplus / TLAiBench

  View on GitHub
  TLAi+ Benchmarks
  ☆28Feb 6, 2026Updated last week
• fluxxu / yyx-bridge

  View on GitHub
  ☆12Sep 13, 2020Updated 5 years ago
• jskri / modeling-with-tla

  View on GitHub
  Tutorial on modeling with TLA+
  ☆24Oct 7, 2025Updated 4 months ago
• usyd-fsalab / ReadingList

  View on GitHub
  ☆13Apr 27, 2022Updated 3 years ago
• jiachen0212 / hope_better_job

  View on GitHub
  ☆12Mar 15, 2023Updated 2 years ago
• bluesky013 / SkyEngine

  View on GitHub
  3d engine
  ☆13Feb 1, 2026Updated 2 weeks ago
• zouyonghao / DistFuzz

  View on GitHub
  Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning
  ☆13Mar 7, 2025Updated 11 months ago
• SpriCoder / Tec-Be

  View on GitHub
  后端的相关技术学习笔记
  ☆12Nov 11, 2021Updated 4 years ago
• ASSERT-KTH / ldfi-akka

  View on GitHub
  Implementation of LDFI for Akka programs in Scala
  ☆15Sep 27, 2018Updated 7 years ago
• whitecostume / SGSR2_Unity

  View on GitHub
  the Snapdragon™ Game Super Resolution 2 for unity
  ☆17Jan 13, 2025Updated last year
• gterzian / understand-paxos

  View on GitHub
  What makes Paxos tick?
  ☆11Apr 16, 2025Updated 10 months ago
• GPUOpen-LibrariesAndSDKs / WorkGraphsDirectX-Graphics-Samples

  View on GitHub
  A fork of https://github.com/microsoft/DirectX-Graphics-Samples modified to include a sample for Work Graphs
  ☆13Mar 11, 2024Updated last year
• PierreZ / circus

  View on GitHub
  A toolkit to develop distributed systems
  ☆14Nov 20, 2022Updated 3 years ago
• RuochenLyu / js-deobfuscate

  View on GitHub
  JavaScript Deobfuscator and Unpacker
  ☆16Oct 26, 2020Updated 5 years ago
• AntonioNoack / Unity-SurfelGI

  View on GitHub
  ☆15Jul 5, 2023Updated 2 years ago
• OrderLab / Legolas

  View on GitHub
  Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems
  ☆11Mar 29, 2024Updated last year
• zeyuanyin / SATA_fork

  View on GitHub
  This is a fork of SATA repo (CVPR 2025), which is invisiable.
  ☆23Jul 24, 2025Updated 6 months ago
• Shy-boomingtech / Pilot

  View on GitHub
  Pilot – mini game engine for games104
  ☆12Apr 5, 2022Updated 3 years ago
• alg-nju / disalg-bib-dict

  View on GitHub
  ☆10Nov 26, 2024Updated last year
• aleung / wechat-analysis

  View on GitHub
  WeChat group chat analysis
  ☆14May 2, 2018Updated 7 years ago
• JM233333 / data-structure-visualizer

  View on GitHub
  A desktop application that provides visualization of basic algorithms and data structures. Implemented with JavaFX.
  ☆13Sep 23, 2022Updated 3 years ago
• mchenwang / PupilOptixLab

  View on GitHub
  OptiX ray tracing toy framework
  ☆12Mar 22, 2024Updated last year
• Freeeeeeeeedom / Static-Analysis

  View on GitHub
  NJU 软件分析 Tai-e
  ☆14Dec 10, 2022Updated 3 years ago
• Lingzhi-Ouyang / Remix

  View on GitHub
  ☆13Apr 10, 2025Updated 10 months ago
• courses-at-nju-by-hfwei / cpl-lectures

  View on GitHub
  Lectures on the C Programming Language https://courses-at-nju-by-hfwei.github.io/cpl-lectures/
  ☆15Dec 15, 2025Updated 2 months ago
• erdengk / excellent-interview

  View on GitHub
  收集优秀的面经/面试视频
  ☆18Dec 13, 2022Updated 3 years ago
• OrderLab / Anduril

  View on GitHub
  A feedback-driven fault injection tool for reproducing distributed systems failures
  ☆16Apr 25, 2025Updated 9 months ago
• tangruize / tlc-cmd

  View on GitHub
  Run TLC in cmd
  ☆15Jan 20, 2026Updated 3 weeks ago
• VectorizeOrz / VecMark

  View on GitHub
  A tidy Markdown implementation
  ☆25Oct 28, 2025Updated 3 months ago
• holmescao / TimeManagement

  View on GitHub
  A standardized, efficient, quantifiable, and reproducible time management and retrospective workflow.
  ☆16Aug 13, 2022Updated 3 years ago
• nzaocan / YYSYuhun

  View on GitHub
  阴阳师御魂方案计算工具，基于动态规划和剪枝
  ☆14Sep 3, 2018Updated 7 years ago
• HuangBingjian / OpenGL_town_roaming

  View on GitHub
  基于OpenGL 的3D虚拟场景构建之城镇漫游
  ☆14Dec 26, 2018Updated 7 years ago
• welltyped-systems / verified-ledger

  View on GitHub
  A reference architecture for differential fuzzing using a formally verified oracle
  ☆33Jan 2, 2026Updated last month
• Jack-Atkinson-creator / SSM_PKU_Postgraduate_entrance_examination

  View on GitHub
  22北大软件工程考研经验贴
  ☆16Oct 8, 2022Updated 3 years ago
• liweiwei1419 / Algorithms-Learning-Java

  View on GitHub
  我学习算法的过程中编写的代码和笔记（Java 实现）。
  ☆13Jul 10, 2019Updated 6 years ago
• FROOOOOOO / MNIST-CIFAR10

  View on GitHub
  使用sklearn库实现KNN和SVM对MNIST数据分类；使用TensorFlow实现BP,CNN,LeNet,AlexNet,VGGNet,InceptionNet,ResNet，并对MNIST和CIFAR10数据集进行分类
  ☆15Aug 8, 2020Updated 5 years ago