juniorxxue / emacs.dView external linksLinks
Theorem Proving in Emacs
☆12Aug 18, 2025Updated 5 months ago
Alternatives and similar repositories for emacs.d
Users that are interested in emacs.d are comparing it to the libraries listed below
Sorting:
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated last month
- Mechanized baselines for various type system features☆18Dec 6, 2025Updated 2 months ago
- ☆11Sep 17, 2024Updated last year
- Code from CS152 lectures☆14Feb 6, 2026Updated last week
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year
- ☆17Apr 4, 2024Updated last year
- My emacs configurations☆18Feb 25, 2025Updated 11 months ago
- Library for Classical Coq☆40Jan 20, 2026Updated 3 weeks ago
- CIS 6700, Spring 2023☆18Feb 15, 2023Updated 3 years ago
- 19微信小程序比赛项目: 基于微信小程序的RSS阅读器☆16Jun 4, 2019Updated 6 years ago
- The Next Generation of Compositional Programming☆56Jan 27, 2026Updated 2 weeks ago
- My Emacs configuration☆19Sep 12, 2025Updated 5 months ago
- Xcode theme for Emacs☆18Apr 8, 2022Updated 3 years ago
- My ever-evolving Emacs config at work. Targeting emacs master build on OSX.☆17Sep 17, 2025Updated 4 months ago
- Doom Emacs config☆28Updated this week
- https://wasmCloud.com website, documentation, blog, and community meetings, built with Docusaurus.☆21Updated this week
- Sensible and minimal starting Emacs configuration. A clean room implementation of a pure vanilla Emacs configuration that is sanely manag…☆18Jun 3, 2025Updated 8 months ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆69Sep 17, 2024Updated last year
- The Penn Locally Nameless Metatheory Library☆75Mar 26, 2025Updated 10 months ago
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 7 months ago
- Home, sweet home☆31Feb 6, 2026Updated last week
- A simple, Emacs Lisp-focused Emacs config☆34Nov 16, 2025Updated 2 months ago
- A Clojure library for deconstructing Korean unicode syllable characters into alphabet characters☆10Nov 22, 2021Updated 4 years ago
- Executable version of Functional Differential Geometry.☆37May 4, 2022Updated 3 years ago
- 微信小程序rss阅读器☆31Feb 23, 2021Updated 4 years ago
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.☆11Feb 5, 2026Updated last week
- 编译器框架☆12Sep 1, 2021Updated 4 years ago
- My personal doom-emacs configuration.☆36Aug 30, 2025Updated 5 months ago
- Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textboo…☆13Oct 2, 2025Updated 4 months ago
- ☆11Aug 23, 2023Updated 2 years ago
- Chat interface and library for interacting with different LLMs via Emacs.☆13Mar 19, 2025Updated 10 months ago
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 5 months ago
- My literate Emacs configuration☆38Dec 18, 2025Updated last month
- Klotski Game & Solver (華容道遊戲)☆40Apr 13, 2025Updated 10 months ago
- N-Queens puzzle built with react and SWI Pengines.☆10Feb 24, 2025Updated 11 months ago
- IntvalPy - a Python interval computation library☆14Jan 25, 2026Updated 3 weeks ago
- ☆10May 27, 2025Updated 8 months ago
- ☆11Mar 20, 2025Updated 10 months ago
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 10 months ago