Lists (13)
Stars
A blazingly fast LSP client for Emacs
A client for Language Server Protocol servers
curl-impersonate: A special build of curl that can impersonate Chrome & Firefox
A notetaking system like Roam using Emacs Org-mode
MicroC example compiler for Stephen Edward's PLT class, but in Haskell
A KDE Plasma Widget to display custom status messages on Panels.
Nova is a CLI for controlling Govee light strips, inspired by Bandev's Lux.
A lightweight KRunner plugin (Plasma 5) to retrieve unicode symbols, or any other string, based on a corresponding keyword.
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
A searching tool for Org-mode, including custom query languages, commands, saved searches and agenda-like views, etc.
An application that tracks your time by monitoring your active window title and idle time.
Group entries in a org-mode clocktable by their tag.
Search and manage bibliographies in Emacs
Implementation of Pomodoro and Third Time techniques for Emacs
Spotify for the terminal written in Rust 🚀
Quickly rewrite git repository history (filter-branch replacement)
Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
Make Emacs use the $PATH set up by the user's shell
High-performance multicore-scalable data structures and benchmarks
fast, friendly searching with ripgrep and Emacs
Emacs package to quickly find and act on bibliographic references, and edit org, markdown, and latex academic documents.