LighghtEeloo / charcoal

Related projects ⓘ

Alternatives and complementary repositories for charcoal

• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆49Updated 2 years ago
• Trebor-Huang / HomotopyHistory
  ☆22Updated 8 months ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆33Updated 2 years ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆101Updated 7 months ago
• decaf-lang / decaf-rs
  The Decaf compiler, written in Rust
  ☆56Updated 4 years ago
• MisakaCenter / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆16Updated 2 years ago
• skyzh / raytracer-tutorial
  raytracer project for PPCA 2020
  ☆62Updated 2 years ago
• vaaandark / dioxionary
  StarDict in Rust! 使用 离线 / 在线 词典在终端中查单词、背单词！
  ☆30Updated 6 months ago
• typekernel / typekernel
  Warning: 🕳 ahead!
  ☆16Updated 4 years ago
• decaf-lang / minidecaf-tutorial
  The MiniDecaf tutorial documentation.
  ☆93Updated this week
• LighghtEeloo / lala-lang
  [WIP] An expression based data notation, aimed at transpiling itself to any cascaded data notation.
  ☆37Updated 2 years ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆137Updated 4 months ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 4 years ago
• Fugoes / yaay-rs
  Yet Another AsYnc runtime for RuSt.
  ☆35Updated 4 years ago
• rcore-os / aCore
  Asynchronous OS kernel written in Rust.
  ☆33Updated 3 years ago
• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆40Updated last year
• jiegec / cold
  The cold linker
  ☆67Updated 5 months ago
• Cytosine2020 / crust
  A Rust style C++ library.
  ☆19Updated 2 years ago
• williamqwu / VE370-Pipelined-Processor
  An MIPS pipelined processor with hazard detection for the course VE370 (FA2020) of UM-SJTU JI.
  ☆10Updated 3 years ago
• yuyan-lang / yuyan
  豫言
  ☆27Updated last week
• dramforever / finlog
  Compiling finite generators to digital logic. WIP
  ☆14Updated 4 years ago
• siriusdemon / P523-Rust
  P523 Course in Rust
  ☆59Updated 2 years ago
• HUST-OS / luojia-os-labs-v2
  洛佳的异步内核实验室，第二版
  ☆13Updated 3 years ago
• YdrMaster / fast-trap
  快速陷入处理
  ☆32Updated last year
• Enter-tainer / rspb
  pastebin written in pure rust. A rewrite of ptpb/pb.
  ☆43Updated last year
• luojia65 / zihai
  自嗨虚拟化软件 - 'Enjoy yourself' type-1 hypervisor software
  ☆25Updated 2 years ago
• pku-minic / kira-rs
  The example SysY compiler Kira for PKU compiler course, written in Rust.
  ☆52Updated last year
• SchrodingerZhu / ReuseIR
  Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆15Updated last month
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated last year