☆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.
Sorting:
- ☆13Apr 10, 2025Updated last year
- Examples for TLAPS (TLA+ Proof System)☆17May 9, 2020Updated 6 years ago
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Feb 16, 2022Updated 4 years ago
- 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
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆27May 25, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- ☆10Nov 26, 2024Updated last year
- 南京大学计算机系往年卷 Past exam papers of NJUCS☆458Updated this week
- 南京大学 NJU 计算机系 CS 课程 资料 作业 代码 实验报告(数据挖掘 模式识别 机器学习导论 概率论与数理统计 计算机图形学 高级程序设计 数据库 计算机系统基础 操作系统 程设实验 数电 数电实验... ) 更新中, star!☆23Jun 28, 2020Updated 6 years ago
- 南京大学 计算机和人工智能 考研信息汇总 南京大学计算机考研☆723Apr 4, 2026Updated 3 months ago
- 2020年秋季南京大学 计算机系统基础 课程大作业 x86 emulator——NEMU，implemented all functions.☆95Feb 19, 2021Updated 5 years ago
- 南京大学计算机系生存经验。仅供交流学习。初学计算机，错误良多，恳请批评指正。☆25Jun 22, 2023Updated 3 years ago
- 南京大学 计算机科学与技术系2019 计算机系统基础PA☆14Sep 18, 2020Updated 5 years ago
- Compiler Principle Lab In NJU☆15Dec 24, 2017Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Papers We Love on Compilers☆36Dec 1, 2024Updated last year
- This repository is for my solutions for Stanford CS 106X.☆12Nov 17, 2018Updated 7 years ago
- Problem Sets for Discrete Mathematics @ software.nju.edu.cn☆12Jun 24, 2021Updated 5 years ago
- NJUCS成长手册，网址: njucs.top☆42Feb 24, 2023Updated 3 years ago
- 南京大学计算机系 课程资料 作业 代码 实验报告 NJU-CS 课程分享计划 ☆1,447Oct 2, 2022Updated 3 years ago
- Notes I prepared for final examinations at NJU CS.（我的南京大学计算机系期末复习材料）☆34Aug 22, 2021Updated 4 years ago
- ☆18Jul 5, 2023Updated 3 years ago
- ☆13Mar 8, 2024Updated 2 years ago
- ☆12Aug 13, 2014Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- C++模板工具类的简易实现☆10Aug 20, 2023Updated 2 years ago
- Demos of mutation testing and fuzz testing prepared for the Software Testing Course of NJU Software Institute.☆12Dec 14, 2023Updated 2 years ago
- 南京大学计算机系统基础PA nju-icspa-2021fall☆16Sep 11, 2023Updated 2 years ago
- AP1400-2☆10Aug 5, 2024Updated last year
- Guide for ICSPA MOOC☆89Oct 11, 2023Updated 2 years ago
- 这个专栏准备拿来作为平时学习积累练习的代码。 某些代码配套有笔记和视频。我将会在下面列举出来相关链接，后面也会持续更新。☆11Sep 8, 2023Updated 2 years ago
- Raft Lite is a very simple and verified implementation of the Raft consensus algorithm.☆48Feb 27, 2024Updated 2 years ago
- ☆17Dec 3, 2022Updated 3 years ago
- 为准备2024年清华大学计算机考研而准备的笔记，包含了收集的经验贴、自己编写的各科笔记。下面链接是Google网盘中的备份。☆25Jun 23, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🚀全流程自己训练一个VLA 「大模型」1小时从0训练26M参数的视觉多模态VLM！🌏 Train a 26M-parameter VLM from scratch in just 1 hours!☆38Oct 16, 2025Updated 8 months ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Mar 30, 2021Updated 5 years ago
- ☆163May 5, 2021Updated 5 years ago
- CrashTuner(SOSP2019)☆30Aug 28, 2019Updated 6 years ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- 南京大学学位论文模板☆684Jun 11, 2026Updated 3 weeks ago
- 南京大学计算机网络课程实验☆24Aug 14, 2023Updated 2 years ago