My emacs config (as a nix flake)
☆14Nov 17, 2023Updated 2 years ago
Alternatives and similar repositories for emacs
Users that are interested in emacs are comparing it to the libraries listed below
Sorting:
- Simple completion-driven Homebrew management from Emacs☆14Mar 30, 2022Updated 3 years ago
- A GNU/Emacs minor mode that highlights s-exp at the current position.☆31Jun 12, 2014Updated 11 years ago
- Major mode for Maxima☆21Jun 11, 2023Updated 2 years ago
- Reason about Bitcoin addresses with Prolog☆23Mar 17, 2024Updated last year
- ☆23Sep 7, 2024Updated last year
- An emacs daemon pool for fast emacs startups, written in Rust.☆26Feb 3, 2026Updated last month
- A System Reference Document for Obsidian. Maintainer: Willowlark☆10Feb 16, 2026Updated 3 weeks ago
- A minecraft modpack that adds nothing - including accessibility improvements, character customization, rebalanced difficulty, and a fully…☆14Feb 2, 2026Updated last month
- A literate emacs configuration for C#, python, ivy, yasnippet, ...☆34Jan 21, 2026Updated last month
- ☆36Jan 15, 2022Updated 4 years ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆42Apr 14, 2021Updated 4 years ago
- A command-line snippets manager.☆17Nov 24, 2023Updated 2 years ago
- Launcher application for Google Chrome's flatpak on Endless OS☆11Updated this week
- ☆11Aug 3, 2021Updated 4 years ago
- Converts a 3DS program's EXEFS to an (IDA-loadable) ELF☆12Apr 13, 2017Updated 8 years ago
- GraphQL server with zero configuration.☆12Oct 26, 2019Updated 6 years ago
- 🐔 Implementação da RINHA DE BACKEND 2023 Q3™ em Kotlin☆11Aug 27, 2023Updated 2 years ago
- Environment variable manager☆12Aug 8, 2023Updated 2 years ago
- 👨💻 macOS dotfiles☆12Mar 1, 2026Updated last week
- Cryptography in SageMath.☆10Dec 17, 2018Updated 7 years ago
- Vibe coding in emacs with amp☆20Jun 15, 2025Updated 8 months ago
- Short and friendly command wrapper for APT☆12Jan 3, 2023Updated 3 years ago
- A minimal setup for writing Unikernels in ReasonML☆30Apr 10, 2020Updated 5 years ago
- OCaml + Fly.io☆11Nov 21, 2025Updated 3 months ago
- An OCaml wrapper to Reddit's API☆13Oct 5, 2025Updated 5 months ago
- TypeScript model management. Dynamically create model instances from plain objects.☆10Jul 14, 2020Updated 5 years ago
- An Emacs profile switcher and manager using Chemacs2 and Rofi!☆12Feb 28, 2023Updated 3 years ago
- Useful Nautilus Scripts made with☆13Jul 27, 2021Updated 4 years ago
- Nushell configuration files☆11Jan 8, 2026Updated 2 months ago
- ☆10Nov 14, 2019Updated 6 years ago
- A 2D side-scrolling platformer written in Python using cocos2d, pyglet, and pymunk.☆17Nov 23, 2011Updated 14 years ago
- Flutter plugin to run all creme sharing routines.☆11Feb 25, 2025Updated last year
- Code for the Inquiryum Machine Learning Fundamentals Course☆19Apr 23, 2024Updated last year
- 🖼️ A simple Python wrapper for the waifu.pics API☆10Aug 26, 2021Updated 4 years ago
- Emacs package to import Bibtex & PDF from Google Scholar☆12Apr 12, 2023Updated 2 years ago
- A package for uncertainty estimation with PyTorch☆12Aug 26, 2021Updated 4 years ago
- Bash library for pretty-printing a variable given by name.☆16Jun 15, 2025Updated 8 months ago
- ☆11Oct 26, 2021Updated 4 years ago
- Easy keybindings for your Reagent-based application☆12Oct 23, 2024Updated last year