Lars Tveito

Focus. Dim the font color of text in surrounding paragraphs

dot-emacs. My Emacs configurations written in Org mode

ox-gfm. Github Flavored Markdown Back-End for Org Export Engine

Try. Try out Emacs packages

shared-buffer-lisp-in-summer-projects. Collaberative editing in Emacs

litt. The Litt Literate Programming System

Project-Euler. My solutions to problems from https://projecteuler.net/

nix-config. Nix

at. Execute command on remote machines with local files

homebrew-maude. A brew formula for The Maude System

sympaths. SymPaths: Symbolic Execution Meets Partial Order Reduction

org-bootstrap-document. A scheme for generating bootstrap HTML from Org mode

larstvei.github.io. CSS

etype. A typing game for Emacs.

master. TeX

LK. An implementation of the LK system in Haskell

mode-line-in-header. Minor mode to display mode line in current buffer's header

SMT-for-IN3070. A short introduction to SMT solving

emacskurs. A course in Emacs held for FUI at UiO

lambda-calc.

ExoDPOR. Clojure

Doconce-mode. Major-mode for the Doconce markup language.

framed. Clojure

emacs-grammarly. an Emacs extension to send a text to Grammarly

emacs-flake. A flake for my emacs config

MAPS-spring-challange. Clojure

ABS-traces. Clojure

ExoABS. Clojure