Disalg-ICS-NJU/algocentric 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

Disalg-ICS-NJU/algocentric

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/Disalg-ICS-NJU/algocentric)

Close

Disalg-ICS-NJU / algocentricView on GitHubMore

• External links
• Readme badge

☆77Mar 3, 2025Updated last year

Alternatives and similar repositories for algocentric

Users that are interested in algocentric are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• Lingzhi-Ouyang / Remix

  View on GitHub
  ☆13Apr 10, 2025Updated last year
• hengxin / tlaps-examples

  View on GitHub
  Examples for TLAPS (TLA+ Proof System)
  ☆16May 9, 2020Updated 6 years ago
• hengxin / tlaplus-hfwei

  View on GitHub
  Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
  ☆13Feb 16, 2022Updated 4 years ago
• courseworks / AUT_AP_2024_Spring_HW1

  View on GitHub
  The first assignment for AUT's Advanced Programming course (Spring 2024), It includes a bash script for directory backups and logging, an…
  ☆18May 3, 2024Updated 2 years ago
• courses-at-nju-by-hfwei / discrete-math-lectures

  View on GitHub
  Lectures on Discrete Mathematics @ software.nju.edu.cn
  ☆27Jan 10, 2022Updated 4 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• tangruize / SandTable

  View on GitHub
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆28Apr 24, 2024Updated 2 years ago
• tcse-iscas / Mocket

  View on GitHub
  TLA+ model checking guided testing for distributed systems
  ☆19Feb 12, 2024Updated 2 years ago
• alg-nju / disalg-bib-dict

  View on GitHub
  ☆10Nov 26, 2024Updated last year
• Shimao-Zhang / Digital-Logic-and-Computer-Organization

  View on GitHub
  南京大学计算机系2021秋季学期数字逻辑与计算机组成课程实验
  ☆15Feb 17, 2022Updated 4 years ago
• lxy417 / software-analysis

  View on GitHub
  南京大学软件分析作业
  ☆15Jul 30, 2022Updated 3 years ago
• NijikaIjichi / njucs-past-exam

  View on GitHub
  南京大学计算机系往年卷 Past exam papers of NJUCS
  ☆417May 28, 2026Updated 2 weeks ago
• S1XCamus / NJUCS-Course-Material-from-YikaiZhang

  View on GitHub
  南京大学 NJU 计算机系 CS 课程资料 作业 代码 实验报告(数据挖掘 模式识别 机器学习导论 概率论与数理统计 计算机图形学 高级程序设计 数据库 计算机系统基础 操作系统 程设实验 数电 数电实验... ) 更新中, star!
  ☆23Jun 28, 2020Updated 5 years ago
• xinhaoyuan / morpheus

  View on GitHub
  Erlang Sandboxing for Reliable and Scalable Concurrency Testing
  ☆25Nov 28, 2019Updated 6 years ago
• Shannju / njucser_helphelp

  View on GitHub
  南京大学计算机系生存经验。仅供交流学习。初学计算机，错误良多，恳请批评指正。
  ☆25Jun 22, 2023Updated 2 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• alexshuang / write-your-own-ai-compiler

  View on GitHub
  《自己动手写AI编译器》
  ☆39Oct 19, 2024Updated last year
• Ricardokevins / NJU_PA2019

  View on GitHub
  南京大学 计算机科学与技术系2019 计算机系统基础PA
  ☆14Sep 18, 2020Updated 5 years ago
• codeyangjun / Compiler

  View on GitHub
  Compiler Principle Lab In NJU
  ☆15Dec 24, 2017Updated 8 years ago
• courses-at-nju-by-hfwei / compilers-papers-we-love

  View on GitHub
  Papers We Love on Compilers
  ☆36Dec 1, 2024Updated last year
• dealias / dns

  View on GitHub
  Direct Numerical Simulation of Turbulence using the Implicitly Dealiased Pseudospectral Method
  ☆12Jun 20, 2025Updated 11 months ago
• courses-at-nju-by-hfwei / discrete-math-problem-sets

  View on GitHub
  Problem Sets for Discrete Mathematics @ software.nju.edu.cn
  ☆12Jun 24, 2021Updated 4 years ago
• zhangyikaii / NJUCS-Course-Material

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

  View on GitHub
  Latest version of IFISS software
  ☆11Dec 27, 2025Updated 5 months ago
• elem-azar-unis / CRDT-Redis

  View on GitHub
  CRDTs implemented in Redis
  ☆55Mar 14, 2023Updated 3 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• ckaestne / undertaker

  View on GitHub
  ☆12Aug 13, 2014Updated 11 years ago
• Mryange / cpp-template-tools

  View on GitHub
  C++模板工具类的简易实现
  ☆10Aug 20, 2023Updated 2 years ago
• NijikaIjichi / nju-icspa

  View on GitHub
  南京大学计算机系统基础PA nju-icspa-2021fall
  ☆16Sep 11, 2023Updated 2 years ago
• SolidifyTime / BossZP-Spider

  View on GitHub
  这是一个基于Selenium的Boss直聘网站爬虫项目，用于抓取深圳地区的职位信息。该爬虫采用了多种反爬虫策略，支持代理IP配置，并能够稳定地获取职位数据。
  ☆15Feb 16, 2025Updated last year
• zzhuncle / NJUAI-Master-Courses

  View on GitHub
  NJUAI-Master-Courses
  ☆30Aug 20, 2023Updated 2 years ago
• iscas-microservice-team / microFaultInjection

  View on GitHub
  Fault injection module.To inject some errors into containers running on K8s and Istio.
  ☆19Jun 21, 2019Updated 6 years ago
• Andy-xiaokang / AP1400-2

  View on GitHub
  AP1400-2
  ☆10Aug 5, 2024Updated last year
• ics-nju-wl / icspa-public-guide

  View on GitHub
  Guide for ICSPA MOOC
  ☆89Oct 11, 2023Updated 2 years ago
• PeterTheSparrow / SE3353-Architecture-of-Enterprise-Applications-2023Autumn-SJTU-notes

  View on GitHub
  上海交通大学软件学院课程《应用系统体系架构》（SE3353）笔记
  ☆11Feb 2, 2024Updated 2 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• thenumer8or / Multiphase_Flow_Codes

  View on GitHub
  Multiphase flow codes developed in various stages at UC Irvine and UDel (includes DNS, LBM and LES solvers)
  ☆12Feb 11, 2019Updated 7 years ago
• chestNutLsj / THUcs-24GEE

  View on GitHub
  为准备2024年清华大学计算机考研而准备的笔记，包含了收集的经验贴、自己编写的各科笔记。下面链接是Google网盘中的备份。
  ☆25May 27, 2026Updated 2 weeks ago
• Starydark / PaxosStore-tla

  View on GitHub
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Mar 30, 2021Updated 5 years ago
• Changhe160 / cplusplus2020-2021-2

  View on GitHub
  ☆163May 5, 2021Updated 5 years ago
• lujiefsi / CrashTuner

  View on GitHub
  CrashTuner(SOSP2019)
  ☆30Aug 28, 2019Updated 6 years ago
• ACCA-Imperial / SKPrime

  View on GitHub
  A MATLAB implementation of the Schottky-Klein prime function.
  ☆10Oct 25, 2021Updated 4 years ago
• starrydeca / database_connect_pool

  View on GitHub
  ☆17Aug 6, 2023Updated 2 years ago