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

Alternatives and similar repositories for menu

Users that are interested in menu are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• juniorxxue / emacs.d

  View on GitHub
  Theorem Proving in Emacs
  ☆12Aug 18, 2025Updated last year
• charguer / tlc

  View on GitHub
  Library for Classical Coq
  ☆42Jan 20, 2026Updated 9 months ago
• HarvardPL / cs152-lecture-code

  View on GitHub
  Code from CS152 lectures
  ☆14Apr 13, 2026Updated 6 months ago
• gelisam / typechecker-combinators

  View on GitHub
  ☆17Apr 4, 2024Updated 2 years ago
• fxdpntthm / type-checker

  View on GitHub
  Simple implementation of ST LC type checker in Haskell
  ☆13Apr 18, 2022Updated 4 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• yzyzsun / CP-next

  View on GitHub
  The Next Generation of Compositional Programming
  ☆56Apr 17, 2026Updated 6 months ago
• uds-psl / autosubst-ocaml

  View on GitHub
  ☆22Oct 19, 2026Updated last week
• decrn / tilogics

  View on GitHub
  Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.
  ☆12Apr 3, 2026Updated 6 months ago
• EpicEricEE / typst-plugins

  View on GitHub
  My plugins and packages for typst
  ☆28Jul 5, 2024Updated 2 years ago
• 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 2 years ago
• cu1ch3n / caidan

  View on GitHub
  🍔 A clean and minimal food menu template.
  ☆20Apr 4, 2024Updated 2 years ago
• plclub / cis6700-23sp

  View on GitHub
  CIS 6700, Spring 2023
  ☆19Feb 15, 2023Updated 3 years ago
• halfaya / BayHac

  View on GitHub
  ☆11Oct 20, 2017Updated 9 years ago
• meck / alfred-hoogle

  View on GitHub
  Search Hoogle with Alfred
  ☆21Nov 20, 2019Updated 6 years ago
• End-to-end encrypted email - Proton Mail • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
• TiarkRompf / types-and-proofs

  View on GitHub
  Mechanized baselines for various type system features
  ☆19Apr 14, 2026Updated 6 months ago
• jsiek / denotational_semantics

  View on GitHub
  Denotational semantics based on graph and filter models
  ☆25Updated this week
• Beluga-lang / McTT

  View on GitHub
  Building A Correct-By-Construction Proof Checkers For Type Theories
  ☆37Aug 5, 2026Updated 2 months ago
• rocq-community / autosubst

  View on GitHub
  Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
  ☆78Sep 4, 2026Updated last month
• juniorxxue / xcode-theme

  View on GitHub
  Xcode theme for Emacs
  ☆20Apr 8, 2022Updated 4 years ago
• Enter-tainer / typst-ws

  View on GitHub
  preview your typst document in instant
  ☆28Apr 16, 2023Updated 3 years ago
• wonks / wonks.github.io

  View on GitHub
  PL Wonks website
  ☆13Aug 7, 2026Updated 2 months ago
• detypstify / typic

  View on GitHub
  Using OCR to convert images of formulas into Typst code.
  ☆18Jul 27, 2025Updated last year
• plclub / metalib

  View on GitHub
  The Penn Locally Nameless Metatheory Library
  ☆80Mar 26, 2025Updated last year
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• nk2028 / tshet-uinh-images

  View on GitHub
  切韻系韻書及韻圖書影 Images of ancient documents of the Qieyun system
  ☆19Aug 26, 2025Updated last year
• mit-plv / rewriter

  View on GitHub
  Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
  ☆28Sep 30, 2026Updated 3 weeks ago
• ntjess / typst-tada

  View on GitHub
  ☆21Aug 31, 2025Updated last year
• Jamesits / myip

  View on GitHub
  Get your external IP address from command line - STUN, DNS, HTTPS API supported
  ☆14Dec 13, 2019Updated 6 years ago
• QuadnucYard / radish-metro

  View on GitHub
  Elegant maps and elements of Nanjing Metro
  ☆30Jan 11, 2026Updated 9 months ago
• rocq-community / coqdocjs

  View on GitHub
  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
  ☆38Oct 21, 2025Updated last year
• meck / alfred-footman

  View on GitHub
  A library for writing script filters for Alfred in Haskell
  ☆10Jun 23, 2019Updated 7 years ago
• twlz0ne / playonline.el

  View on GitHub
  Play code with online playgrounds
  ☆13Mar 22, 2020Updated 6 years ago
• moonbitlang / MoonBit-Code-JAM-2024

  View on GitHub
  ☆21Nov 22, 2024Updated last year
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• rocq-community / coq-nix-toolbox

  View on GitHub
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆57Updated this week
• iXORTech / Typstify

  View on GitHub
  A Typst Editor for iPad
  ☆48Nov 25, 2025Updated 11 months ago
• herbelin / cours-preuves-ordinateur

  View on GitHub
  Page du cours preuves assistées par ordinateur 2021
  ☆17May 16, 2025Updated last year
• szclsya / sasm

  View on GitHub
  Declarative package manager
  ☆18Jul 26, 2023Updated 3 years ago
• dogezen / badgery

  View on GitHub
  Typst styled badges, boxes and menu items.
  ☆20Apr 16, 2025Updated last year
• jwiegley / coq-lattice

  View on GitHub
  A reflection-based proof tactic for lattices in Coq
  ☆21Mar 17, 2026Updated 7 months ago
• coq-tactician / coq-tactician

  View on GitHub
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆87Oct 19, 2026Updated last week