ics-wiki
☆37Jun 28, 2026Updated last week
Alternatives and similar repositories for ics-wiki
Users that are interested in ics-wiki are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆29Jun 15, 2026Updated 3 weeks ago
- A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…☆16Jun 17, 2020Updated 6 years ago
- 南京大学 计算机科学与技术系 2020 计算机网络实验☆13Nov 19, 2022Updated 3 years ago
- 2020秋-南大数电实验☆10Jan 24, 2021Updated 5 years ago
- 你南相关的一些脚本 - 包括但不限于(已经成为历史的)健康打卡, 南软塑料云等☆26Aug 31, 2025Updated 10 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 経路指定JR運賃計算☆17Jun 29, 2026Updated last week
- Metacompiler to generate an optimised JIT compiler frontend based on an Interpreter definition☆11Jun 3, 2026Updated last month
- 2020年秋季南京大学 计算机系统基础 课程大作业 x86 emulator——NEMU，implemented all functions.☆95Feb 19, 2021Updated 5 years ago
- 南京大学计算机系往年卷 Past exam papers of NJUCS☆458Jun 30, 2026Updated last week
- 使用Python编写的用于模拟公交、地铁LED线路牌的小程序 A mini program written in Python for simulating LED route signs on buses and subways☆17Jun 25, 2026Updated 2 weeks ago
- Tai-e assignments for static program analysis☆1,223Aug 28, 2025Updated 10 months ago
- 一个 generals.io 辅助插件 | A browser extension to play generals.io better.☆13Jun 19, 2025Updated last year
- Python Tutor Package☆18Sep 6, 2023Updated 2 years ago
- What makes Paxos tick?☆11Apr 16, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- NJU-IT侠社团网站系统，包括预约和后台等等...☆16May 11, 2022Updated 4 years ago
- 南京大学计算机系统基础PA nju-icspa-2021fall☆16Sep 11, 2023Updated 2 years ago
- A shared memory dependence tracing tool for dynamic concurrent program analysis☆12Jan 24, 2015Updated 11 years ago
- 南京大学 NJU 计算机系 CS 课程资料 作业 代码 实验报告(数据挖掘 模式识别 机器学习导论 概率论与数理统计 计算机图形学 高级程序设计 数据库 计算机系统基础 操作系统 程设实验 数电 数电实验... ) 更新中, star!☆23Jun 28, 2020Updated 6 years ago
- 南京大学计算机系2021秋季学期数字逻辑与计算机组成课程实验☆15Feb 17, 2022Updated 4 years ago
- A collection of assignments on large language models, serving for both beginners to get started and pros to practice advanced tech.☆48Mar 30, 2025Updated last year
- Implementation of LDFI for Akka programs in Scala☆15Sep 27, 2018Updated 7 years ago
- Tutorial on modeling with TLA+☆24May 5, 2026Updated 2 months ago
- A toolkit to develop distributed systems☆15Nov 20, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆603Aug 20, 2025Updated 10 months ago
- Play generals.io completely offline!☆23Jun 27, 2026Updated last week
- A comprehensive framework for benchmarking single and multi-agent systems across a wide range of tasks—evaluating performance, accuracy, …☆38Jun 5, 2026Updated last month
- ☆10Nov 26, 2024Updated last year
- It is a repository that is a collection of algorithms and data structures with implementation in various languages.☆10Oct 29, 2016Updated 9 years ago
- ☆70Jun 8, 2020Updated 6 years ago
- 利用Selenium库每隔5分钟爬取学校电费查询网站的数据，检测导师办公室电费使用情况，判断导师是否来学校。☆19Mar 21, 2021Updated 5 years ago
- A two-phase-commit protocol for leveldb.☆26Oct 26, 2015Updated 10 years ago
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Apr 10, 2025Updated last year
- CVE-2022-26135☆11Jul 12, 2022Updated 3 years ago
- Exercise Solutions of Introduction to Modern Cryptography (2nd edition) written by Jonathan Katz and Yehuda Lindell☆23Jul 7, 2020Updated 6 years ago
- TLAi+ Benchmarks☆35Feb 6, 2026Updated 5 months ago
- Nanjing University Advanced Machine Learning Review☆31Jun 11, 2025Updated last year
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆56Jun 6, 2021Updated 5 years ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago