Alternatives and similar repositories for ics196

Users that are interested in ics196 are comparing it to the libraries listed below

• NotformeCC / mathininformatics
  ☆23Updated 6 years ago
• xmcp / pku-eutopia
  兆京大学班车预约 for Humans™
  ☆30Updated 2 months ago
• wongsingfo / paper-util
  Utilities for paper writing.
  ☆12Updated 3 weeks ago
• pku-minic / MiniVM
  MiniVM is a virtual machine for executing Eeyore/Tigger IR.
  ☆35Updated 4 years ago
• gzz2000 / RoSSH
  🛠Robust SSH: auto-reconnect SSH session that preserves your running shell and command. Intuitive, no server-side setup, aimed at simplic…
  ☆13Updated 2 months ago
• wangchang327 / compiler-lab-test-driver
  编译原理课程实践中用于测试的代码
  ☆10Updated 4 years ago
• pku-minic / first-step
  Take your first step in writing a compiler.
  ☆29Updated 4 years ago
• jiegec / Projects
  A summary of my projects
  ☆49Updated last month
• SpiritedAwayCN / ElectiveCaptCha
  基于某校选课网的验证码预处理与自动识别
  ☆33Updated 4 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆170Updated last month
• skyzh / raytracer-tutorial
  raytracer project for PPCA 2020
  ☆63Updated 4 years ago
• wangchang327 / latex-templates
  日常事务 LaTeX 懒人包
  ☆35Updated 3 years ago
• VariantConst / Marchkov-Helper
  新燕园人的私人班车助手（非官方）。
  ☆68Updated 6 months ago
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆67Updated 5 years ago
• thu-cs-lab / thinpad_top
  Project template for Artix-7 based Thinpad board
  ☆52Updated 4 months ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 3 years ago
• z4yx / supervisor-mips32
  计算机组成原理课程32位监控程序
  ☆50Updated 5 years ago
• thu-cs-lab / jieplag
  Plagiarism detection tool in Rust (inspired by Stanford Moss)
  ☆54Updated 4 months ago
• yukiiiteru / DailySchedule_2020
  OS Tutorial Summer of Code 2020
  ☆19Updated 3 years ago
• thu-cs-lab / tanlabs
  Tsinghua Advanced Networking Labs on FPGA
  ☆39Updated last year
• Harry-Chen / TrivialTomasulo
  Tomasulo Simulator written in React as the project for Computer Architecture course, Spring 2019, Tsinghua University
  ☆11Updated 6 years ago
• pku-minic / open-test-cases
  Open test cases of PKU compiler course.
  ☆28Updated 4 years ago
• CircuitCoder / MeowThink
  A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat
  ☆16Updated 3 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆211Updated 11 months ago
• xmcp / pku-syllabus
  PKU课表助手
  ☆16Updated 3 years ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• pku-compiler-design-spring / CompilerProject-2020Spring
  Course Project. PKU Compiler Design. Spring, 2020.
  ☆51Updated 5 years ago
• MarisaKirisame / MemoryBalancer
  ☆23Updated 2 years ago
• lcpu-club / overleaf
  PKU LaTeX
  ☆73Updated 3 months ago