There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Focus
Dim the font color of text in surrounding paragraphsdot-emacs
My Emacs configurations written in Org modeox-gfm
Github Flavored Markdown Back-End for Org Export EngineTry
Try out Emacs packagesshared-buffer-lisp-in-summer-projects
Collaberative editing in EmacsProject-Euler
My solutions to problems from https://projecteuler.net/org-bootstrap-document
A scheme for generating bootstrap HTML from Org modemaster
homebrew-maude
A brew formula for The Maude Systemlarstvei.github.io
sympaths
SymPaths: Symbolic Execution Meets Partial Order Reductionnix-config
framed
emacskurs
A course in Emacs held for FUI at UiOmode-line-in-header
Minor mode to display mode line in current buffer's headerSMT-for-IN3070
A short introduction to SMT solvingetype
A typing game for Emacs.LK
An implementation of the LK system in Haskelllambda-calc
ExoDPOR
ABS-traces
Doconce-mode
Major-mode for the Doconce markup language.MAPS-spring-challange
ExoABS
Love Open Source and this site? Check out how you can help us