Pinned Repositories
at
Execute command on remote machines with local files
dot-emacs
My Emacs configurations written in Org mode
Focus
Dim the font color of text in surrounding paragraphs
homebrew-maude
A brew formula for The Maude System
larstvei.github.io
org-bootstrap-document
A scheme for generating bootstrap HTML from Org mode
ox-gfm
Github Flavored Markdown Back-End for Org Export Engine
Project-Euler
My solutions to problems from https://projecteuler.net/
shared-buffer-lisp-in-summer-projects
Collaberative editing in Emacs
Try
Try out Emacs packages
larstvei's Repositories
larstvei/Focus
Dim the font color of text in surrounding paragraphs
larstvei/dot-emacs
My Emacs configurations written in Org mode
larstvei/ox-gfm
Github Flavored Markdown Back-End for Org Export Engine
larstvei/homebrew-maude
A brew formula for The Maude System
larstvei/larstvei.github.io
larstvei/nix-config
larstvei/sympaths
SymPaths: Symbolic Execution Meets Partial Order Reduction
larstvei/etype
A typing game for Emacs.
larstvei/SMT-for-IN3070
A short introduction to SMT solving
larstvei/ABS-traces
larstvei/ExoABS
larstvei/ExoDPOR
larstvei/framed
larstvei/writeroom-mode
Writeroom-mode: distraction-free writing for Emacs.
larstvei/abs-mode
Support for ABS in the Emacs editor.
larstvei/abstools
The ABS modeling language and surrounding tools
larstvei/Advent-of-Code-2019
larstvei/benchmark
A microbenchmark support library
larstvei/bqn-mode
Emacs mode for BQN programming language
larstvei/GCL
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
larstvei/hugo-book
Hugo documentation theme as simple as plain book
larstvei/linear-probing-viz
larstvei/matematisk_ordliste
Matematisk ordliste
larstvei/maude-mode
larstvei/melpa
Scripts for building Emacs packages from Version Control
larstvei/nano-modeline
GNU Emacs / N Λ N O Modeline
larstvei/nixpkgs
Nix Packages collection & NixOS
larstvei/replicant
A native ClojureScript virtual DOM renderer - render hiccup directly
larstvei/Rethink
Another in the line of beautiful css themes for org exports using professional web development techniques. Targeted at clean, technical content.
larstvei/simple-guarded-commands
A simple implementation for a programming language with guarded commands