Xu Xue

xcode-theme. Xcode theme for Emacs

learn-plt-redex. Resources for Learning PLT Redex

emacs.d. Theorem Proving in Emacs

contextual-typing. Contextual Typing, formalized in Agda

LCTI. Local Contextual Type Inference

TypedRedex. Typed embedding of PLT Redex in Haskell

comp7503-tutorial-materials. Shell

software-foundations. Solutions for Software Foundations

applicative-intersection. Applicative Intersection Types

system-f. System F in Agda with well-scoped de Bruijn indices

agda-lemma-search. Agda Lemma Fuzzy Searching

SketchyKlotski. Klotski Game for iOS

racket-slides. Being a template of Racket slideshow

Codewars. Interesting Katas in Codewars

chatgpt-toc-chrome. Chrome Extension: ChatGPT Table of Contents

codex-switcher-menubar. Manage your multiple codex accounts in macOS menu bar