Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor
  • Pro

Pinned

  1. A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

    Emacs Lisp 20.4k 4.8k

  2. A collection of my (mostly outdated) dotfiles.

    Emacs Lisp 6 1

  3. Emacs incremental completion and selection narrowing framework

    Emacs Lisp 2.8k 339

  4. make Emacs bindings that stick around

    Emacs Lisp 1.3k 85

  5. Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml

  6. Forked from syl20bnr/spacemacs

    A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

    Emacs Lisp

183 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Activity overview
Contributed to OmnifactoryDevs/Omnifactory, ultrabug/py3status, NJBS/Omnifactory and 1 other repository
Loading

Contribution activity

August 2020

16 contributions in private repositories Aug 2 – Aug 10

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.