phoenixrain-pku / What-happened-to-my-Github

Related projects: ⓘ

• Enter-tainer / typst-ws
  preview your typst document in instant
  ☆27Updated last year
• RuixiZhang42 / newxeCJK
  New implementation of xeCJK
  ☆18Updated last year
• compilers-wiki / compilers-wiki
  Wiki pages for compiler technologies https://compilers.wiki
  ☆13Updated last year
• VicaYang / THU-Exam-LaTeX-Template
  A LaTex Template for THU Examination
  ☆29Updated 2 years ago
• thautwarm / gkdhighlight
  syntax highligher for GkdTeX
  ☆22Updated 3 years ago
• raptazure / mauve
  🍎 Play Bad Apple! with Haskell
  ☆15Updated 2 years ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆47Updated 3 years ago
• sjtug / mirror-clone
  All-in-one mirror utility for SJTUG mirror
  ☆48Updated 2 months ago
• dark-flames / apollo-typst
  Typst blog template based on Zola, typst.ts, and apollo.
  ☆24Updated 3 weeks ago
• niltok / itp-ard
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Updated 2 years ago
• SJTU-Plus / ManagerBot
  QQ 群验证机器人
  ☆10Updated 2 years ago
• wangrunji0408 / WanZheBiDong
  An educational game about Wanli Period of the Ming Dynasty
  ☆8Updated 4 years ago
• sap-lang / sap-lang
  Next-GEN Confguration Template Generation Language
  ☆12Updated 2 years ago
• dramforever / finlog
  Compiling finite generators to digital logic. WIP
  ☆14Updated 4 years ago
• sjtug / mirror-intel
  Intelligent mirror redirector middleware for SJTUG
  ☆18Updated 8 months ago
• skyzh / BlueSense
  🌈 BlueSense is a long-term project for monitoring Shanghai environment data.
  ☆25Updated 2 years ago
• MisakaCenter / Chi
  🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
  ☆16Updated 4 years ago
• permui / calocom
  An awesome language and its compiler.
  ☆33Updated 2 years ago
• Chi-Task-Force / Chi-Telegram-Inline-Bot
  在 Telegram 上快速模仿迟先生卖弱。
  ☆10Updated 2 years ago
• lynzrand / chigusa
  A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业
  ☆30Updated 4 years ago
• ice1000 / copilot-learning-materials
  My type-ups for copilot to learn from.
  ☆11Updated 2 years ago
• Inokinoki / ParallelFFT
  FFT(WIP)&DFT implementations in NVIDIA CUDA and Apple Metal
  ☆25Updated 2 years ago
• banana-space / btex
  ☆44Updated 7 months ago
• thautwarm / DIO.jl
  Julia implementation for Python Restrain JIT
  ☆22Updated 3 years ago
• MisakaCenter / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆16Updated 2 years ago
• LyricZhao / THU-Bell
  THU Bell on macOS
  ☆28Updated 4 years ago
• MisakaCenter / RayTracer.ml
  🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"
  ☆18Updated 2 years ago
• thautwarm / Site-33
  https://thautwarm.github.io/Site-33/
  ☆10Updated 2 months ago
• MarisaKirisame / zombie
  Zombie chan revive!
  ☆24Updated 6 months ago
• Cytosine2020 / crust
  A Rust style C++ library.
  ☆19Updated 2 years ago