☆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
Sorting:
- ☆10Nov 26, 2024Updated last year
- 南京大学计算机系往年卷 Past exam papers of NJUCS☆372Jan 22, 2026Updated last month
- TLA+ model checking guided testing for distributed systems☆17Feb 12, 2024Updated 2 years ago
- Compiler Principle Lab In NJU☆15Dec 24, 2017Updated 8 years ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- 南京大学软件分析作业☆14Jul 30, 2022Updated 3 years ago
- 南京大学计算机系生存经验。仅供交流学习。初学计算机,错误良多,恳请批评指正。☆23Jun 22, 2023Updated 2 years ago
- 南京大学 计算机和人工智能 考研信息汇总 南京大学计算机考研☆692Apr 8, 2025Updated 10 months ago
- 南京大学 NJU 计算机系 CS 课程资料 作业 代码 实验报告(数据挖掘 模式识别 机器学习导论 概率论与数理统计 计算机图形学 高级程序设计 数据库 计算机系统基础 操作系统 程设实验 数电 数电实验... ) 更新中, star!☆23Jun 28, 2020Updated 5 years ago
- 2020年秋季南京大学 计算机系统基础 课程大作业 x86 emulator——NEMU,implemented all functions.☆95Feb 19, 2021Updated 5 years ago
- Notes I prepared for final examinations at NJU CS.(我的南京大学计算机系期末复习材料)☆33Aug 22, 2021Updated 4 years ago
- 南京大学计算机系 课程资料 作业 代码 实验报告 NJU-CS 课程分享计划 ☆1,417Oct 2, 2022Updated 3 years ago
- Raft Lite is a very simple and verified implementation of the Raft consensus algorithm.☆47Feb 27, 2024Updated 2 years ago
- Lectures for the class on Compilers@software.nju.edu.cn☆214Jun 23, 2024Updated last year
- A draggablegrid layout☆10Aug 10, 2022Updated 3 years ago
- A fundamental exploration about EEG-BCI emotion recognition using the SEED dataset & dataset from kaggle.☆11Mar 11, 2024Updated last year
- 上海交通大学软件学院课程《应用系统体系架构》(SE3353)笔记☆12Feb 2, 2024Updated 2 years ago
- Solutions for all programming assignments from Stanford's University Online Cryptography Course (C#)☆11Apr 12, 2015Updated 10 years ago
- 南京大学分布式系统Raft算法最简实现☆39Jan 3, 2022Updated 4 years ago
- Guide for ICSPA MOOC☆88Oct 11, 2023Updated 2 years ago
- 使用ansible采用kubeadm方式安装k8s v1.25-v1.29☆16Dec 16, 2025Updated 2 months ago
- Go Production Deployments [Video], published by Packt☆11Jan 14, 2021Updated 5 years ago
- Tutorial on modeling with TLA+☆24Oct 7, 2025Updated 4 months ago
- TLAi+ Benchmarks☆28Feb 6, 2026Updated last month
- Build your own private auto agent using Octet.Chat.☆13Aug 6, 2025Updated 7 months ago
- C++模板工具类的简易实现☆11Aug 20, 2023Updated 2 years ago
- [Unsupported] NodeJS module that calculates a square area and downloads all the map tiles contained in that area☆10Nov 8, 2017Updated 8 years ago
- ☆13Mar 8, 2024Updated last year
- 基于 SpringBoot 的 AI BOT 对战小游戏~☆10Dec 8, 2023Updated 2 years ago
- NJUCS成长手册,网址: njucs.top☆42Feb 24, 2023Updated 3 years ago
- SCAWG: Geocrowd Synthetic Dataset Generator☆12Jul 22, 2018Updated 7 years ago
- Format your bibtex (.bib) file to help standardize citations for conference and journal submissions☆14Nov 23, 2025Updated 3 months ago
- 2023 Fall ShanghaiTech PHYS1111 General Physics I Lab 上海科技大学普物实验报告《普通物理I实验》个人部分实验报告☆22Mar 19, 2025Updated 11 months ago
- NJUCS(计算机金融)个人学习笔记☆55Oct 16, 2025Updated 4 months ago
- 多线程练习代码☆42Apr 24, 2023Updated 2 years ago
- 北京大学 计算神经科学 Computational Neuroscience (Prof. Si Wu, Peking University, 2021 Fall)☆10Dec 10, 2022Updated 3 years ago
- Eddy Analytics user interface: resources manager, pipeline builder, and dashboard creator☆11Jan 18, 2023Updated 3 years ago
- Implementation of LDFI for Akka programs in Scala☆15Sep 27, 2018Updated 7 years ago
- 后端的相关技术学习笔记☆12Nov 11, 2021Updated 4 years ago