This is your work, valued
tree-edit. π² Structural editing in Emacs for anyβ’ language!
β 415stop-and-wait-arq-proof. An ACL2 proof modelling the stop-and-wait protocol.
β 3courseload-frontend. Clojure
β 2yaelispy. Minor mode to integrate Lispy and Evil
β 2AeroSpace. AeroSpace is an i3-like tiling window manager for macOS
β 22kdoom-nano-modeline. A modeline for Doom Emacs based on N Ξ N O Modeline
β 49one.el. one.el a simple Static Site Generator for Emacs Lisp programmers and org-mode users.
β 61contract.el. Racket-style higher-order contracts for Emacs Lisp
β 16recreation-gov-campsite-checker. Scrapes the recreation.gov website to check for campsite availabilities ππ
β 364pylyzer. A fast, feature-rich static code analyzer & language server for Python
β 2.9kruff. An extremely fast Python linter and code formatter, written in Rust.
β 49ksideline. Show information on the side
β 190org-ai. Emacs as your personal AI assistant. Use LLMs such as ChatGPT or LLaMA for text generation or DALL-E and Stable Diffusion for image generation. Also supports speech input / output.
β 819Nameless. Less is more. Hide package namespace in your emacs-lisp code
β 136ChatGPT.el. ChatGPT in Emacs
β 393dwim-shell-command. Save your shell commands/scripts and apply from Emacs with ease.
β 332stb. stb single-file public domain libraries for C/C++
β 34ksmlfmt. A custom parser/auto-formatter for Standard ML
β 92rust-raspberrypi-OS-tutorials. :books: Learn to write an embedded OS in Rust :crab:
β 15klibegit2. Emacs bindings for libgit2
β 115org-sync. Issue Tracking Synchronization for Emacs Org-mode.
β 158ribbit. A portable, compact and extensible Scheme implementation to 25 targets. R4RS compliant.
β 560emacs-async. Simple library for asynchronous processing in Emacs
β 911gopcaml-mode. [MIRROR] Ultimate Ocaml Editing Mode
β 22sapling. A highly experimental vi-inspired editor where you edit code, not text.
β 769copilot.el. An unofficial Copilot plugin for Emacs.
β 2.3kbuffer-env. Buffer-local process environments for Emacs
β 82husker. Useful Northeastern resources and links; a Student Hub alternative
β 54ssort. Tool for automatically sorting python statements within a module
β 398einkbro. A small, fast web browser based on Android WebView. It's tailored for E-Ink devices but also works great on normal android devices.
β 1.9kcursorless-talon. The cursor never loved you anyway
β 122core. An Emacs framework for the stubborn martian hacker
β 22kcontext.vim. Vim plugin that shows the context of the currently visible buffer contents
β 1.4kstructured-haskell-mode. Structured editing minor mode for Haskell in Emacs
β 547history-of-lisp-parens. a history of Lisp's most notorious artifact, parentheses
β 591chicken-miniKanren. Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)
β 11spacehammer. Spacemacs|Doom inspired Hammerspoon modal toolkit
β 639mal. mal - Make a Lisp
β 11kcpython. The Python programming language
β 74keldev. Elisp development tool
β 258VimMode.spoon. Adds vim keybindings to all OS X inputs
β 781difftastic. a structural diff that understands syntax π₯π©
β 26kkindaVim.blahblah. Ultimate Vim Mode for macOS
β 988saunf. Personal Project Management
β 2embark. Emacs Mini-Buffer Actions Rooted in Keymaps
β 1.2kbubbletea. A powerful little TUI framework π
β 44kjson-rpc-server.el. π Server-side implementation of the JSON-RPC 2.0 protocol for Emacs.
β 11himalaya-emacs. Emacs front-end for the himalaya email client
β 41talon_config. ποΈ Talon config for coding by voice. Work in progress, unstable, I will force-push. Not intended for general consumption.
β 11voicemacs. π£οΈ Utilities for controlling Emacs with your voice. Not production-ready, but you can use it as a reference.
β 46ivy-posframe. ivy-posframe is a ivy extension, which let ivy use posframe to show its candidate menu, ivy-posframe is a **GNU ELPA** package.
β 421meow. Yet another modal editing on Emacs / η«ζηΌθΎ
β 1.7kcode-review. Code Reviews in Emacs
β 488combobulate. Structured Editing and Navigation in Emacs with Tree-Sitter
β 1.2kukanren-rs. Rust implementation of Β΅Kanren, a featherweight relational programming language.
β 119rune. Rust VM for Emacs
β 783spacebar. A minimal status bar for macOS. Ideal for use with tiling window managers like yabai
β 1.4kgrip-mode. Instant Github-flavored Markdown/Org preview using grip
β 315doctest. Doctests for Emacs Lisp
β 2510PL. 10 papers that all PhD students in programming languages ought to know, for some value of 10
β 944puni. Structured editing (soft deletion, expression navigating & manipulating) that supports many major modes out of the box.
β 486faster-minikanren. A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
β 168freemocap. Free Motion Capture for Everyone πβ¨
β 9.4kRustPython. A Python Interpreter written in Rust
β 22kemacs-epc. A RPC stack for Emacs Lisp
β 207doom-nvim. A Neovim configuration for the advanced martian hacker
β 1kmsgpack.el. MessagePack Emacs Lisp library
β 10reazon. miniKanren for Emacs
β 118markovkeyboard. keyboard layout that changes by markov frequency
β 452symex.el. An expressive modal way to write code (esp. Lisp) in Emacs
β 314org-super-agenda. Supercharge your Org daily/weekly agenda by grouping items
β 1.5klsp-gitpod. Emacs Lisp
β 77pandoc-mode. An Emacs minor mode for interacting with Pandoc.
β 186org-reveal. Exports Org-mode contents to Reveal.js HTML presentation.
β 1.5knano-modeline. GNU Emacs / N Ξ N O Modeline
β 208kmonad. An advanced keyboard manager
β 5kgradescope-submit. Rust program that submits files to Gradescope from the command-line
β 2evil-lispy. Minor mode to integrate Lispy and Evil
β 7linux-surface. Linux Kernel for Surface Devices
β 7.5kKBOS. Tired of your bluetooth headphones pairing with a computer you thought was asleep ? This fixes that
β 146tree-sitter-elisp. tree-sitter grammar for emacs lisp
β 81staticKanren. A variant of miniKanren which returns better answers
β 6emacs-application-framework. EAF, an extensible framework that revolutionizes the graphical capabilities of Emacs
β 3.5kevil-textobj-tree-sitter. Tree-sitter powered textobjects for evil mode in Emacs
β 231nano-emacs. GNU Emacs / N Ξ N O - Emacs made simple
β 2.9kgame. Create free (as in freedom) RPGs with GNU Emacs. And then play them.
β 74twilight.nvim. π Twilight is a Lua plugin for Neovim 0.5 that dims inactive portions of the code you're editing using TreeSitter.
β 1.5kcompany-fuzzy. Fuzzy matching for `company-mode'
β 125tui.el. An experimental text-based UI framework for Emacs modeled after React - **requires emacs 26.1 or newer**
β 199Pymacs. See new repo below -- Moved on 19 Oct 2021
β 35emacs-package-dev-handbook. An Emacs package development handbook. Built with Emacs, by Emacs package developers, for Emacs package developers.
β 1.2kleetcode.el. An Emacs LeetCode client.
β 464cedit. paredit-like commands for C-like languages
β 24lispy. Short and sweet LISP editing
β 1.3krecur. Self-tail recursion optimization in emacs.
β 34svg-term-cli. Share terminal sessions via SVG and CSS
β 4.2kBarliman. Prototype smart text editor
β 1.1krdp. Recursive descent parser for Emacs Lisp
β 18emacs-module-rs. Rust binding and tools for Emacs's dynamic modules
β 368propcheck. Quickcheck/hypothesis style testing for elisp
β 59undercover.el. A test coverage library for Emacs
β 91mu4e-dashboard. A dashboard for mu4e (mu for emacs)
β 508org-gcal.el. Org sync with Google Calendar. (active maintained project as of 2019-11-06)
β 484batfish. Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
β 1.4kpecan. menubar for macOS
β 696simple-bar. A yabai and AeroSpace status bar widget for Γbersicht
β 1.6kemacs-slack. slack client for emacs
β 1.2kcask. Project management tool for Emacs
β 1.3kElsa. Emacs Lisp Static Analyzer and gradual type system.
β 704objed. Navigate and edit text objects with Emacs. Development on pause.
β 337ast-editor. Edit ASTs directly.
β 6tree-sitter. An incremental parsing system for programming tools
β 26kelisp-tree-sitter. Emacs Lisp bindings for tree-sitter
β 855avy. Jump to things in Emacs tree-style
β 1.9kqutebrowser. A keyboard-driven, vim-like browser based on Python and Qt.
β 12kcider. The Clojure Interactive Development Environment that Rocks for Emacs
β 3.7kwhat-happens-when. An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"
β 43kbluegenes. A friendly next-generation interface for Genomic data discovery powered by InterMine
β 75coconut. Simple, elegant, Pythonic functional programming.
β 4.3kautoimport. Autoimport automatically fixes wrong import statements.
β 102pylint. It's not just a linter that annoys you!
β 5.7kdesert. Deserialize to objects while staying DRY
β 161