Alternatives and similar repositories for C0VM-ts

Users that are interested in C0VM-ts are comparing it to the libraries listed below

• ucsd-cse12-w21 / ucsd-cse12-w21.github.io
  ☆19Updated 4 years ago
• zhengguan / 15150-1
  ☆27Updated 8 years ago
• PKUFlyingPig / project-based-learning
  Curated list of project-based tutorials
  ☆10Updated 4 years ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆17Updated 5 years ago
• CMU-17-214 / s2024
  Public course website for Spring 2024 materials.
  ☆16Updated last year
• cs61 / cs61-lectures
  CS61 lecture material
  ☆103Updated last month
• SiriusNEO / Masterball
  A Compiler from "Mx* language" (A C++ & Java like language) to RV32I Assembly, with optimizations on LLVM IR. SJTU CS2966 Project.
  ☆12Updated 2 years ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆146Updated last year
• zhengguan / 15122
  ☆15Updated 10 years ago
• matchy233 / typst-chi-cv-template
  😍 Rip-off of rip-off of skyzh's CV, using typst
  ☆156Updated last year
• stanford-cs242 / f19-assignments
  ☆35Updated 5 years ago
• Lean-zh / fp-lean-zh
  Lean 函数式编程
  ☆43Updated last month
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated 2 years ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆212Updated 5 years ago
• YukunJ / Teach-Myself-CPP
  This is the repository containing self-study notes for modern C++ to better prepare myself for workplace once graduate.
  ☆69Updated 6 months ago
• pku-minic / kira-rs
  The example SysY compiler Kira for PKU compiler course, written in Rust.
  ☆93Updated 2 months ago
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆11Updated 11 months ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆142Updated last month
• pku-dppl / TAPL-in-MoonBit
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆68Updated 6 months ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆56Updated 4 years ago
• Gan-Tu / cppGFS2.0
  A distributed Google File System (GFS), partially implemented in C++. (http://bit.ly/gfs-impl)
  ☆82Updated 7 months ago
• Maecenas / ICS-15213-CSAPP3e-CMU
  Dev Environment and Lab Assignments of the Introduction to Computer Systems course, CMU 15-213, 2015 Fall
  ☆161Updated 6 years ago
• HUSTLUG / yogurt-mirror
  华中科技大学Linux协会（HUSTLUG）开源镜像站
  ☆12Updated 2 years ago
• trackoor / Chi
  🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
  ☆16Updated 5 years ago
• GKxxUCAS / CS100-recitations-spring2022
  Materials for CS100 recitations.
  ☆33Updated 2 years ago
• liusy58 / WhyThis
  we'll try to answer some questions during our study about computer systems.
  ☆58Updated 4 years ago
• pentium3 / sys_reading
  system paper reading notes
  ☆246Updated 4 months ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆99Updated 2 years ago
• ftiasch / shoka
  Code Snippets for Competitive Programming
  ☆19Updated 3 months ago
• williamqwu / VE482-public
  Course materials and self-written lab/hw solutions for the course Intro. to Operating System (VE482-20FA) at UMJI.
  ☆17Updated 3 years ago