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 2 months ago

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 7 months ago
• charguer / tlc

  View on GitHub
  Library for Classical Coq
  ☆41Jan 20, 2026Updated 2 months ago
• fxdpntthm / type-checker

  View on GitHub
  Simple implementation of ST LC type checker in Haskell
  ☆13Apr 18, 2022Updated 3 years ago
• TiarkRompf / types-and-proofs

  View on GitHub
  Mechanized baselines for various type system features
  ☆18Mar 13, 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
• gelisam / typechecker-combinators

  View on GitHub
  ☆17Apr 4, 2024Updated last year
• yzyzsun / CP-next

  View on GitHub
  The Next Generation of Compositional Programming
  ☆56Jan 27, 2026Updated last month
• HarvardPL / cs152-lecture-code

  View on GitHub
  Code from CS152 lectures
  ☆14Feb 27, 2026Updated 3 weeks ago
• EpicEricEE / typst-plugins

  View on GitHub
  My plugins and packages for typst
  ☆28Jul 5, 2024Updated last year
• hkust-taco / superf

  View on GitHub
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆15May 22, 2024Updated last year
• plclub / cis6700-23sp

  View on GitHub
  CIS 6700, Spring 2023
  ☆18Feb 15, 2023Updated 3 years ago
• meck / alfred-hoogle

  View on GitHub
  Search Hoogle with Alfred
  ☆21Nov 20, 2019Updated 6 years ago
• QuadnucYard / radish-metro

  View on GitHub
  Elegant maps and elements of Nanjing Metro
  ☆30Jan 11, 2026Updated 2 months ago
• halfaya / BayHac

  View on GitHub
  ☆11Oct 20, 2017Updated 8 years ago
• rocq-community / autosubst

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

  View on GitHub
  A Typst Editor for iPad
  ☆42Nov 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
• plclub / metalib

  View on GitHub
  The Penn Locally Nameless Metatheory Library
  ☆76Mar 26, 2025Updated 11 months ago
• Enter-tainer / typst-ws

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

  View on GitHub
  Create beautiful booklets using Typst
  ☆19Oct 15, 2025Updated 5 months ago
• moonbitlang / MoonBit-Code-JAM-2024

  View on GitHub
  ☆21Nov 22, 2024Updated last year
• uds-psl / autosubst-ocaml

  View on GitHub
  ☆19Nov 24, 2025Updated 3 months ago
• wonks / wonks.github.io

  View on GitHub
  PL Wonks website
  ☆13Jan 28, 2026Updated last month
• ntjess / typst-tada

  View on GitHub
  ☆21Aug 31, 2025Updated 6 months ago
• dogezen / badgery

  View on GitHub
  Typst styled badges, boxes and menu items.
  ☆17Apr 16, 2025Updated 11 months ago
• nleanba / typst-theoretic

  View on GitHub
  Opinionated tool to typeset theorems, lemmas and such
  ☆32Feb 4, 2026Updated last month
• rocq-community / coqdocjs

  View on GitHub
  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
  ☆40Oct 21, 2025Updated 4 months ago
• cu1ch3n / nixbook

  View on GitHub
  ❄️ All Configurations for My Laptop
  ☆21Updated this week
• mit-plv / rewriter

  View on GitHub
  Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
  ☆26Updated this week
• QuadnucYard / radishom

  View on GitHub
  Draw elegant metro maps with ease
  ☆41Aug 12, 2025Updated 7 months ago
• liuguangxi / suiji

  View on GitHub
  A high efficient random number generator in Typst
  ☆37Dec 17, 2025Updated 3 months ago
• ayaka14732 / librime-python

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

  View on GitHub
  Declarative package manager
  ☆18Jul 26, 2023Updated 2 years ago
• mkpoli / tyler

  View on GitHub
  Typst package (libraries, templates) publishing utilty CLI tool
  ☆31Jan 12, 2026Updated 2 months ago
• Enter-tainer / jogs

  View on GitHub
  ☆27Feb 28, 2025Updated last year
• transformrs / trv

  View on GitHub
  Transform slides and speaker notes into video
  ☆39Mar 1, 2026Updated 2 weeks ago
• dockminer / gminer

  View on GitHub
  Docker for GMiner (https://github.com/develsoftware/GMinerRelease).
  ☆14Jan 22, 2022Updated 4 years ago
• jyi2ya / tc-lab

  View on GitHub
  一起来数三角形吧！
  ☆10Jun 27, 2024Updated last year
• herbelin / cours-preuves-ordinateur

  View on GitHub
  Page du cours preuves assistées par ordinateur 2021
  ☆17May 16, 2025Updated 10 months ago