juniorxxue / emacs.d
Theorem Proving in Emacs
☆12Updated 2 months ago
Alternatives and similar repositories for emacs.d:
Users that are interested in emacs.d are comparing it to the libraries listed below
- ☆13Updated last year
- emacs package for pattern-based rewriting of sexp-structured code☆37Updated 3 years ago
- A Scribble library for typesetting grammars better☆15Updated 2 years ago
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 2 years ago
- Emacs major mode for Dyalog APL☆15Updated 2 years ago
- Start writing (or coding), stay focused, don't worry.☆34Updated 3 weeks ago
- a racket lang-extension for debugging, and a macro for inserting a debug-repl☆36Updated 2 years ago
- Collection of syntax/parse macros☆29Updated 2 years ago
- Darwin is a static blog generator written in Racket - forked from Frog☆18Updated 4 years ago
- Lang Party 2022☆25Updated 2 years ago
- A fast-rendering, single-selection, canvas control allowing custom drawing of a filtered, sorted list of items.☆13Updated 3 years ago
- ☆25Updated 2 years ago
- Proof-of-concept, mostly safe multimethods in Racket☆11Updated 4 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Updated 8 years ago
- Emacs Does Interactive Prolog☆41Updated 5 months ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- document-layout tools [mirror of https://git.matthewbutterick.com/mbutterick/typesetting]☆33Updated 2 years ago
- Embedding of some of SQL into Racket☆34Updated 3 years ago
- An Emacs major mode for editing in pollen markup language☆43Updated 2 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Updated 3 months ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆18Updated 3 years ago
- ☆35Updated last month
- A metalanguage for creating sophisticated DSLs in Racket.☆31Updated last week
- Course web page for Fall 2021.☆21Updated 3 years ago
- ☆22Updated 2 years ago
- 🔖⚛️ RSS / Atom feed generation library for Racket☆22Updated last week
- Functors, Monads, Categories for Emacs☆56Updated last year
- Stronger types for a few Typed Racket operators☆11Updated last year
- Code written while working through the book LISP in Small Pieces☆27Updated 11 years ago
- Racket bindings for Poppler (library for reading and generating pdfs)☆24Updated 10 months ago