Pinned Repositories
.doom.d
Doomer
21FA-CS3800
My remote version for CS3800, here as long as the CCS Github isn't working
astroid
A common base representation of python source code for pylint and other projects
camply
camply, the campsite finder ⛺️ - a tool to find campsites at sold out campgrounds through sites like recreation.gov and Yellowstone
courseload-frontend
stop-and-wait-arq-proof
An ACL2 proof modelling the stop-and-wait protocol.
tree-edit
🌲 Structural editing in Emacs for any™ language!
yaelispy
Minor mode to integrate Lispy and Evil
ethan-leba's Repositories
ethan-leba/tree-edit
🌲 Structural editing in Emacs for any™ language!
ethan-leba/yaelispy
Minor mode to integrate Lispy and Evil
ethan-leba/21FA-CS3800
My remote version for CS3800, here as long as the CCS Github isn't working
ethan-leba/camply
camply, the campsite finder ⛺️ - a tool to find campsites at sold out campgrounds through sites like recreation.gov and Yellowstone
ethan-leba/ChatGPT.el
ethan-leba/code-review
Code Reviews in Emacs
ethan-leba/continue
⏩ the open-source autopilot for software development—bring the power of ChatGPT to VS Code and JetBrains
ethan-leba/copilot.el
An unofficial Copilot plugin for Emacs.
ethan-leba/dash.el
A modern list library for Emacs
ethan-leba/doom-emacs
An Emacs framework for the stubborn martian hacker
ethan-leba/doom-themes
A megapack of themes for GNU Emacs.
ethan-leba/elisp-tree-sitter
Tree-sitter bindings for Emacs Lisp
ethan-leba/emacs-everywhere
System-wide popup Emacs windows for quick edits
ethan-leba/esh-help
This library adds some help features for Eshell
ethan-leba/ethan-leba
ethan-leba/ethan-leba.github.io
ethan-leba/evil-org-mode
Supplemental evil-mode keybindings to emacs org-mode
ethan-leba/flask-twitter
ethan-leba/inkfish-cli
A CLI tool for grading assignments on https://inkfish.ntuck-neu.site/.
ethan-leba/lispy
Short and sweet LISP editing
ethan-leba/logseq-plugin-automatic-url-title
ethan-leba/lukaszcz.github.io
ethan-leba/melpa
Recipes and build machinery for the biggest Emacs package repo
ethan-leba/mypy
Optional static typing for Python 3 and 2 (PEP 484)
ethan-leba/racket
The Racket repository
ethan-leba/reazon
miniKanren for Emacs
ethan-leba/trace-scraper
A web-scraper for TRACE evaluations on myNEU.
ethan-leba/transcriboid-backend
The back-end of Transcriboid, a musical training web application.
ethan-leba/transcriboid-frontend
The front-end of Transcriboid, a musical training web application.
ethan-leba/tree-sitter-langs
Language bundle for Emacs's tree-sitter package