cu1ch3n/menu 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

cu1ch3n/menu

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/cu1ch3n/menu)

Close

cu1ch3n / menuView on GitHubMore

• External links
• Readme badge

🍔 Chen’s Private Cuisine Menu

☆10Jan 4, 2026Updated last month

Alternatives and similar repositories for menu

Users that are interested in menu are comparing it to the libraries listed below

• juniorxxue / emacs.d

  View on GitHub
  Theorem Proving in Emacs
  ☆12Aug 18, 2025Updated 6 months ago
• TiarkRompf / types-and-proofs

  View on GitHub
  Mechanized baselines for various type system features
  ☆18Feb 20, 2026Updated last week
• decrn / tilogics

  View on GitHub
  Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.
  ☆11Aug 28, 2024Updated last year
• HarvardPL / cs152-lecture-code

  View on GitHub
  Code from CS152 lectures
  ☆14Updated this week
• EpicEricEE / typst-plugins

  View on GitHub
  My plugins and packages for typst
  ☆28Jul 5, 2024Updated last year
• harrellbm / Bookletic

  View on GitHub
  Create beautiful booklets using Typst
  ☆19Oct 15, 2025Updated 4 months ago
• iXORTech / Typstify

  View on GitHub
  A Typst Editor for iPad
  ☆40Nov 25, 2025Updated 3 months ago
• detypstify / typic

  View on GitHub
  Using OCR to convert images of formulas into Typst code.
  ☆17Jul 27, 2025Updated 7 months ago
• gelisam / typechecker-combinators

  View on GitHub
  ☆17Apr 4, 2024Updated last year
• moonbitlang / MoonBit-Code-JAM-2024

  View on GitHub
  ☆21Nov 22, 2024Updated last year
• charguer / tlc

  View on GitHub
  Library for Classical Coq
  ☆41Jan 20, 2026Updated last month
• plclub / cis6700-23sp

  View on GitHub
  CIS 6700, Spring 2023
  ☆18Feb 15, 2023Updated 3 years ago
• dogezen / badgery

  View on GitHub
  Typst styled badges, boxes and menu items.
  ☆17Apr 16, 2025Updated 10 months ago
• yzyzsun / CP-next

  View on GitHub
  The Next Generation of Compositional Programming
  ☆56Jan 27, 2026Updated last month
• meck / alfred-hoogle

  View on GitHub
  Search Hoogle with Alfred
  ☆21Nov 20, 2019Updated 6 years ago
• szclsya / sasm

  View on GitHub
  Declarative package manager
  ☆18Jul 26, 2023Updated 2 years ago
• ntjess / typst-tada

  View on GitHub
  ☆21Aug 31, 2025Updated 6 months ago
• QuadnucYard / radish-metro

  View on GitHub
  Elegant maps and elements of Nanjing Metro
  ☆30Jan 11, 2026Updated last month
• jdpieck / oasis-align

  View on GitHub
  A Typst package to cleanly place content side by side with equal heights using automatic content sizing.
  ☆34Jan 21, 2026Updated last month
• Enter-tainer / typst-ws

  View on GitHub
  preview your typst document in instant
  ☆28Apr 16, 2023Updated 2 years ago
• mkpoli / tyler

  View on GitHub
  Typst package (libraries, templates) publishing utilty CLI tool
  ☆31Jan 12, 2026Updated last month
• liuguangxi / suiji

  View on GitHub
  A high efficient random number generator in Typst
  ☆37Dec 17, 2025Updated 2 months ago
• Enter-tainer / jogs

  View on GitHub
  ☆27Feb 28, 2025Updated last year
• rocq-community / autosubst

  View on GitHub
  Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
  ☆69Sep 17, 2024Updated last year
• ayaka14732 / librime-python

  View on GitHub
  Python Plugin for the Rime Input Method Engine
  ☆30Dec 15, 2021Updated 4 years ago
• plclub / metalib

  View on GitHub
  The Penn Locally Nameless Metatheory Library
  ☆75Mar 26, 2025Updated 11 months ago
• ShingZhanho / ENGG1340-Project-25Spring

  View on GitHub
  The repository for HKU ENGG1340 Group Project (24/25 Semester 2).
  ☆10Jun 22, 2025Updated 8 months ago
• QuadnucYard / radishom

  View on GitHub
  Draw elegant metro maps with ease
  ☆40Aug 12, 2025Updated 6 months ago
• transformrs / trv

  View on GitHub
  Transform slides and speaker notes into video
  ☆39Jan 1, 2026Updated last month
• TeamBasedInquiryLearning / linear-algebra

  View on GitHub
  ARCHIVED - Materials for running a Team-Based Inquiry Learning linear algebra course
  ☆10Jul 30, 2024Updated last year
• The-Notebookinator / notebookinator

  View on GitHub
  ☆38Nov 11, 2024Updated last year
• EnhancedJax / NotesAtHKU

  View on GitHub
  Open, hand-typed notes by HKU students, for HKU students.
  ☆18Sep 5, 2025Updated 5 months ago
• zvms / zvms4-frontend

  View on GitHub
  The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.
  ☆11Feb 11, 2026Updated 2 weeks ago
• cue-sh / stax

  View on GitHub
  ☆15Sep 19, 2021Updated 4 years ago
• nleanba / typst-theoretic

  View on GitHub
  Opinionated tool to typeset theorems, lemmas and such
  ☆28Feb 4, 2026Updated 3 weeks ago
• nil-is-lin / RoughSurface.jl

  View on GitHub
  关于粗糙表面的表征, 参数化生成, 以及接触问题(topics部分不允许用中文, 所以写了英文)
  ☆12Oct 10, 2022Updated 3 years ago
• roelrymenants / liddly

  View on GitHub
  A local tiddlywiki server
  ☆12May 6, 2017Updated 8 years ago
• raaz-crypto / verse-coq

  View on GitHub
  VERified asSembler for cryptographic primitives
  ☆12Jul 15, 2023Updated 2 years ago
• theredfish / git-o-clock

  View on GitHub
  Git O'Clock : A git toolbox for use in terminal.
  ☆10Mar 5, 2023Updated 2 years ago