Projects in Awesome Lists by rocher
A curated list of projects in awesome lists by rocher .
https://github.com/rocher/dynamic-ruler
Emacs package to show a dynamic ruler that can be freely moved around the buffer, for measuring and positioning text.
Last synced: 21 Jan 2026
https://github.com/rocher/mold
Meta-variable Operations for Lean Development
ada alire-crate template template-engine template-project
Last synced: 21 Jan 2026
https://github.com/rocher/persp-fr
Show perspective list in the GUI window frame
Last synced: 21 Jan 2026
https://github.com/rocher/mold_lib
Meta-variable Operations for Lean Development
ada ada-library alire-crate template template-engine template-project
Last synced: 21 Jan 2026
https://github.com/rocher/projecte-smx2c-2025-2026
Repositori de prova per fer tests
Last synced: 21 Jan 2026
https://github.com/rocher/projecte-smx2a-2025-2026
Repositori de prova per fer tests
Last synced: 21 Jan 2026