Alternatives and similar repositories for yogurt-mirror

Users that are interested in yogurt-mirror are comparing it to the libraries listed below

• FuryMartin / I-QinShiHuang-Money
  我，秦始皇，打钱！可以开发票。
  ☆56Updated 10 months ago
• werifu / HUST-typst-template
  华科毕业论文（本科）的 typst 模板
  ☆220Updated 2 months ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆142Updated last year
• matchy233 / typst-chi-cv-template
  😍 Rip-off of rip-off of skyzh's CV, using typst
  ☆148Updated 11 months ago
• pku-minic / kira-rs
  The example SysY compiler Kira for PKU compiler course, written in Rust.
  ☆83Updated 2 years ago
• QuadnucYard / ourchat-typ
  Forge wonderful chat messages in typst
  ☆91Updated last month
• pku-dppl / TAPL-in-MoonBit
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆65Updated 2 months ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆131Updated 9 months ago
• anqur / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Updated 7 months ago
• shuosc / SHU-Bachelor-Thesis-Typst
  上海大学本科生毕业论文Typst模板
  ☆78Updated 3 months ago
• gaoachao / uniquecv-typst
  A simple resume template written in Typst
  ☆63Updated 6 months ago
• jyi2ya / pixpix
  A cli pixel art generator written in rust
  ☆13Updated 8 months ago
• No-SF-Work / ayame
  A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.
  ☆64Updated 4 years ago
• jyi2ya / hust-network-login-sh
  为非常嵌入的嵌入式设备设计的最小的最小化华中科技大学校园网络认证工具
  ☆25Updated last year
• Enter-tainer / typst-ws
  preview your typst document in instant
  ☆28Updated 2 years ago
• Pivot-Studio / pivot-lang
  A Rust-like language with immix GC and other cool stuffs
  ☆77Updated 4 months ago
• ProjectDimlight / RuCalculus
  入墨答Rumbda, the Chinese expression of lambda calculus
  ☆64Updated 2 years ago
• jyi2ya / tc-lab
  一起来数三角形吧！
  ☆10Updated last year
• Enter-tainer / tetris
  在自制 RISC-V CPU 和 x86 上运行的现代俄罗斯方块 / Modern tetris that runs on self-made RISC-V CPU and x86 machines.
  ☆19Updated 3 years ago
• dark-flames / apollo-typst
  Typst blog template based on Zola, typst.ts, and apollo.
  ☆39Updated 3 months ago
• hitsz-compiler-lyk / ssyc
  2022 年毕昇杯 萝杨空队 参赛项目
  ☆14Updated last year
• JacyCui / fla
  formal language and automata
  ☆24Updated 8 months ago
• tusikalanse / magic-in-ten-mins-cpp
  ☆82Updated 4 years ago
• plctlab / weloveinterns
  PLCT实验室实习生社区。
  ☆274Updated last month
• Trebor-Huang / history
  History of type theory (Chinese).
  ☆352Updated 3 months ago
• anqur / TinyLean
  Tiny theorem prover with syntax like Lean 4 in <1K LOC
  ☆63Updated last month
• roife / resume
  My resume
  ☆38Updated last week
• hitszosa / wiki
  Repository of HITSZ OSA Wiki
  ☆41Updated 5 months ago
• permui / calocom
  An awesome language and its compiler.
  ☆34Updated 3 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆198Updated 2 years ago