NJUSE-OS操作系统实验
☆18Dec 28, 2020Updated 5 years ago
Alternatives and similar repositories for OSLAB
Users that are interested in OSLAB are comparing it to the libraries listed below
Sorting:
- Using ANTLR4 in the Course on Compiler Theory at software.nju.edu.cn☆10Mar 31, 2023Updated 2 years ago
- Lectures for the class on Compilers@software.nju.edu.cn☆214Jun 23, 2024Updated last year
- 南京大学软件学院课程相关笔记☆352Jan 4, 2024Updated 2 years ago
- 2021南京大学软件学院OS实验☆11Feb 20, 2022Updated 4 years ago
- C++ 高级程序设计☆15Jan 2, 2021Updated 5 years ago
- 2023年NJUSE大数据分析课程作业☆11Jan 12, 2024Updated 2 years ago
- NJUSE-2022Fall-Compilers-Lab☆16Jan 28, 2023Updated 3 years ago
- Problem Set for Course Compilers@software.nju.edu☆40Jun 20, 2024Updated last year
- 南京大学软件学院大一专业课——软件工程与计算I（简称“软工一”）☆18Oct 13, 2020Updated 5 years ago
- my notes☆31Jan 14, 2024Updated 2 years ago
- [NeurIPS 2024] "Mind the Gap between Prototypes and Images in Cross-domain Finetuning"☆10Nov 15, 2024Updated last year
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- FreeRTOS with Earlier Deadline First( EDF ) task scheduling.☆12Jul 13, 2017Updated 8 years ago
- PINTool to help analyzing malware that uses process injection☆15Jan 3, 2022Updated 4 years ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- 本项目由云原生PaaS平台和众包测试平台组成，众包测试平台是业务系统，运行在PaaS平台上☆41Mar 8, 2023Updated 2 years ago
- [ICML 2024] Code release for "On the Emergence of Cross-Task Linearity in Pretraining-Finetuning Paradigm"☆11Feb 20, 2025Updated last year
- Software Architecture Assignments☆13Mar 25, 2013Updated 12 years ago
- Kige - is an image-picker for android, written for Jetpack Compose.☆11May 13, 2024Updated last year
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Feb 16, 2022Updated 4 years ago
- 使用C语言实现的简易FAT12系统，并且写了简单的命令行Shell用来交互。☆15Oct 31, 2023Updated 2 years ago
- This repo is created to perform I/O Request Packet (IRP) driven ransomware analysis where the IRP logs were collected during ransomware e…☆11Aug 14, 2020Updated 5 years ago
- Wrapper for borgbackup to easily use in code☆19Feb 4, 2026Updated 3 weeks ago
- Notes of Computer Organization and Architecture @ Software Institute, Nanjing University☆10Jan 26, 2021Updated 5 years ago
- Code for Multi-Aspect Cross-modal Quantization for Generative Recommendation. (AAAI 2026 Oral)☆30Dec 9, 2025Updated 2 months ago
- The Lean Theorem Proving Environment☆14May 7, 2023Updated 2 years ago
- Hardware performance counter tool for Windows OS☆17Sep 4, 2018Updated 7 years ago
- [ICML'24] Open-Vocabulary Calibration for Fine-tuned CLIP☆18Jun 14, 2024Updated last year
- automated-arancino is a lightweight analysis framework to automate malware experiments.☆16Apr 17, 2017Updated 8 years ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated last year
- KG☆14Nov 26, 2022Updated 3 years ago
- Code and Data for AisaCCS 2018 paper: Hardware Performance Counters Can Detect Malware: Myth or Fact?☆22Feb 20, 2026Updated last week
- Collection of Software Engineering and Computing Ⅰ @ Software Institute, Nanjing University☆18Dec 28, 2020Updated 5 years ago
- Temperature Schedules for self-supervised contrastive methods on long-tail data (ICLR'23)☆18Apr 25, 2023Updated 2 years ago
- java code example using weka library☆18Oct 23, 2022Updated 3 years ago
- A minimal language for Isabelle/HOL, designed for easing machine learning.☆25Jan 13, 2026Updated last month
- ☆25Feb 20, 2026Updated last week
- nju compilers☆19May 28, 2018Updated 7 years ago
- NJUSE 软件体系结构研究生期末复习☆25Jun 26, 2024Updated last year