larstvei

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

homebrew-maude

A brew formula for The Maude System

larstvei.github.io

nix-config

sympaths

SymPaths: Symbolic Execution Meets Partial Order Reduction

etype

A typing game for Emacs.

SMT-for-IN3070

A short introduction to SMT solving

ABS-traces

ExoABS

ExoDPOR

framed

writeroom-mode

Writeroom-mode: distraction-free writing for Emacs.

abs-mode

Support for ABS in the Emacs editor.

abstools

The ABS modeling language and surrounding tools

Advent-of-Code-2019

benchmark

A microbenchmark support library

bqn-mode

Emacs mode for BQN programming language

GCL

Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages

hugo-book

Hugo documentation theme as simple as plain book

linear-probing-viz

matematisk_ordliste

Matematisk ordliste

maude-mode

melpa

Scripts for building Emacs packages from Version Control

nano-modeline

GNU Emacs / N Λ N O Modeline

nixpkgs

Nix Packages collection & NixOS

replicant

A native ClojureScript virtual DOM renderer - render hiccup directly

Rethink

Another in the line of beautiful css themes for org exports using professional web development techniques. Targeted at clean, technical content.

simple-guarded-commands

A simple implementation for a programming language with guarded commands