Matthias Meijers

@mmctl · User

GitHub profile ↗ · Compare

Perpetually tinkering.            ⠀                      (This is my personal account, see @MM45 for my research account.)

0 followers6 repositories

Repositories

mmctl/para

PARA -- Projects, Areas, Resources, and Archives Organization Functionality for Emacs

★ 0Emacs LispForks 0

mmctl/easycrypt-ext

EasyCrypt Ext (ECE) -- EasyCrypt Extensions for Emacs (Proof General)

★ 6Emacs LispForks 0

mmctl/move-it

Move It -- Convenient Text Movement in Emacs

★ 0Emacs LispForks 0

mmctl/dots

My personal dotfiles, managed with GNU Stow.

★ 0CSSForks 0

mmctl/tempel

:classical_building: TempEl - Simple templates for Emacs

★ 0Forks 0