decaf-lang/minidecaf-tutorial external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

decaf-lang/minidecaf-tutorial

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/decaf-lang/minidecaf-tutorial)

Close

decaf-lang / minidecaf-tutorialView on GitHubMore

• External links
• Readme badge

The MiniDecaf tutorial documentation.

☆98Mar 11, 2026Updated last week

Alternatives and similar repositories for minidecaf-tutorial

Users that are interested in minidecaf-tutorial are comparing it to the libraries listed below

• decaf-lang / minidecaf-tests

  View on GitHub
  The MiniDecaf test cases.
  ☆18May 15, 2025Updated 10 months ago
• decaf-lang / decaf-rs

  View on GitHub
  The Decaf compiler, written in Rust
  ☆57Dec 18, 2019Updated 6 years ago
• equation314 / minidecaf

  View on GitHub
  Web version of the MiniDecaf compiler.
  ☆13Sep 17, 2020Updated 5 years ago
• chyyuu / zCore-Design

  View on GitHub
  ☆13Jul 26, 2021Updated 4 years ago
• decaf-lang / minidecaf

  View on GitHub
  The MiniDecaf compilers.
  ☆67Jan 16, 2021Updated 5 years ago
• DeathWish5 / rCore_tutorial_tests

  View on GitHub
  rCore_tutorial_tests
  ☆11Aug 8, 2021Updated 4 years ago
• oscomp / proj1-rustsbi

  View on GitHub
  实现和扩展RISC-V SBI运行时，使之能够支持并运行操作系统
  ☆14Apr 1, 2025Updated 11 months ago
• luojia65 / tiaoshi-dashi-sbi

  View on GitHub
  调试大师：你见过最强的内核调试器
  ☆36May 6, 2021Updated 4 years ago
• decaf-lang / decaf-book-spec

  View on GitHub
  The Decaf Book（中文）。包含语言规范和框架文档。
  ☆16Dec 30, 2019Updated 6 years ago
• decaf-lang / decaf-2019-project

  View on GitHub
  Decaf 实验综述
  ☆12Jan 7, 2020Updated 6 years ago
• HUST-OS / design-pattern-notes

  View on GitHub
  各类内核的设计思路
  ☆19May 19, 2021Updated 4 years ago
• luojia65 / DailySchedule

  View on GitHub
  ☆22Nov 27, 2021Updated 4 years ago
• rcore-os / nvme_driver

  View on GitHub
  ☆30Jun 1, 2023Updated 2 years ago
• HUST-OS / luojia-os-labs

  View on GitHub
  洛佳的异步内核实验室
  ☆25May 22, 2021Updated 4 years ago
• oscomp / proj6-user-level-interrupt

  View on GitHub
  基于FPGA实现用户态中断硬件机制与优化操作系统内核
  ☆10Apr 1, 2025Updated 11 months ago
• comradez / rust-SPPM

  View on GitHub
  清华大学2021春季学期图形学真实感渲染大作业的一个rust实现
  ☆15Aug 10, 2021Updated 4 years ago
• duzx16 / MyDB

  View on GitHub
  A toy example of database by C++
  ☆21Jan 13, 2019Updated 7 years ago
• oscomp / proj7-terminus

  View on GitHub
  可运行OS的RISCV-64的硬件模拟器设计与实现
  ☆23Mar 26, 2021Updated 4 years ago
• rcore-os / zCore-Tutorial

  View on GitHub
  [WIP] Tutorial for zCore kernel.
  ☆59Aug 28, 2021Updated 4 years ago
• rcore-os / rCore_tutorial_doc

  View on GitHub
  Tutorial doc for rCore OS step by step (2nd edition)
  ☆65Nov 19, 2020Updated 5 years ago
• rustsbi / xuantie

  View on GitHub
  Low level access to T-Head Xuantie RISC-V processors
  ☆34Feb 17, 2026Updated last month
• arch-simulator-sig / quard-star-tutorial-2021

  View on GitHub
  QuardStar Tutorial is all you need !
  ☆16Sep 11, 2024Updated last year
• oscomp / seminar0-20201226

  View on GitHub
  ☆11Jan 12, 2021Updated 5 years ago
• shengwenliang / fpga-nvme-controller

  View on GitHub
  Chisel NVMe controller
  ☆26Nov 24, 2022Updated 3 years ago
• MrShawCode / riscv-pke

  View on GitHub
  RISC-V Proxy Kernel for Education
  ☆29Dec 5, 2023Updated 2 years ago
• pku-dppl / TAPL-in-MoonBit

  View on GitHub
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆70Mar 2, 2026Updated 2 weeks ago
• decaf-lang / decaf

  View on GitHub
  The new Decaf compiler, rewritten in "modern" Java
  ☆66Jul 21, 2020Updated 5 years ago
• rcore-os / aCore

  View on GitHub
  Asynchronous OS kernel written in Rust.
  ☆32Nov 27, 2020Updated 5 years ago
• chyyuu / compiler_course_info

  View on GitHub
  compiler course info
  ☆251Oct 10, 2023Updated 2 years ago
• thu-cs-lab / Router-Lab-Docs

  View on GitHub
  Documentation for Router Lab
  ☆70Nov 19, 2025Updated 4 months ago
• rcore-os / rCore-Tutorial

  View on GitHub
  Tutorial for rCore OS step by step (3rd edition)
  ☆474Apr 6, 2023Updated 2 years ago
• wangrunji0408 / rjrouter

  View on GitHub
  [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)
  ☆14Oct 8, 2020Updated 5 years ago
• oscomp / proj2-os-kernels-by-history

  View on GitHub
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆47Apr 17, 2022Updated 3 years ago
• TianhuaTao / uCore-SMP

  View on GitHub
  A Symmetric Multiprocessing OS Kernel over RISC-V
  ☆32Jun 3, 2022Updated 3 years ago
• MashPlant / decaf-rs

  View on GitHub
  Framework of pa code for THU compiler principle course.
  ☆13Dec 18, 2019Updated 6 years ago
• robotman2412 / boa-risc-v

  View on GitHub
  My second attempt at a RISC-V CPU with learnings form my previous attempt.
  ☆10Apr 29, 2024Updated last year
• chyyuu / thoughts

  View on GitHub
  ☆42Nov 5, 2023Updated 2 years ago
• thufv / CMinor-Verifier

  View on GitHub
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆215Mar 10, 2025Updated last year
• wyfcyx / osnotes

  View on GitHub
  Some notes or translations about operating system or programming language.
  ☆101Nov 10, 2024Updated last year