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™
  ☆27Updated 3 months ago
• pku-minic / first-step
  Take your first step in writing a compiler.
  ☆29Updated 4 years ago
• pku-minic / MiniVM
  MiniVM is a virtual machine for executing Eeyore/Tigger IR.
  ☆35Updated 3 years ago
• pku-compiler-design-spring / Project2019Spring
  Main project, Compiler design PKU 2019 Spring
  ☆8Updated 6 years ago
• wongsingfo / paper-util
  Utilities for paper writing.
  ☆11Updated 3 months 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 last year
• wangchang327 / latex-templates
  日常事务 LaTeX 懒人包
  ☆35Updated 2 years ago
• VariantConst / Marchkov-Helper
  新燕园人的私人班车助手（非官方）。
  ☆61Updated 2 weeks ago
• wangchang327 / compiler-lab-test-driver
  编译原理课程实践中用于测试的代码
  ☆10Updated 4 years ago
• KnowingNothing / compiler_assignment
  compiler assignment testing codes [PKU, Course: Compiler Design, 2019 Spring]
  ☆8Updated 6 years ago
• pku-minic / open-test-cases
  Open test cases of PKU compiler course.
  ☆27Updated 3 years ago
• BUAA-SE-Compiling / rurikawa
  A simple Docker-based build & judge system for complex multi-file projects. 使用 Docker 隔离的适用于多文件项目的自动评测机。
  ☆44Updated 3 years ago
• skyzh / raytracer-tutorial
  raytracer project for PPCA 2020
  ☆63Updated 3 years ago
• SpiritedAwayCN / ElectiveCaptCha
  基于某校选课网的验证码预处理与自动识别
  ☆33Updated 4 years ago
• z4yx / supervisor-mips32
  计算机组成原理课程32位监控程序
  ☆50Updated 5 years ago
• thu-cs-lab / thinpad_top
  Project template for Artix-7 based Thinpad board
  ☆48Updated 2 years ago
• jiegec / Projects
  A summary of my projects
  ☆49Updated last month
• lcpu-club / overleaf
  PKU LaTeX
  ☆60Updated 2 months ago
• No-SF-Work / ayame
  A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.
  ☆64Updated 3 years ago
• wierton / ncc-tools
  A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…
  ☆16Updated 5 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆134Updated 3 weeks ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆141Updated last year
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆46Updated 4 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆194Updated 2 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆213Updated 4 months ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆61Updated 6 months ago
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• thu-cs-lab / Router-Lab
  Lab for Network Principles since 2019-2020 fall
  ☆171Updated 7 months ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago