adbr's Stars
G-dH/advanced-alttab-window-switcher
A highly customizable replacement for Gnome Shell's Alt-Tab window and app switchers.
radian-software/prescient.el
☄️ Simple but effective sorting and filtering for Emacs.
radian-software/selectrum
🔔 Better solution for incremental narrowing in Emacs.
radian-software/ctrlf
⌨️ Emacs finally learns how to ctrl+F.
ohenley/awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
pchapin/tutorialada
An Ada tutorial