Discover @larstvei Open Source projects

Lars Tveito (@larstvei)

larstvei

Stars
1,025
Global Rank 29,830 (Top 2 %)
Followers 118
Following 72
Registered about 12 years ago
Most used languages

Emacs Lisp
39.1 %

Clojure
21.7 %

CSS
13.0 %

Ruby
4.3 %

Python
4.3 %

TeX
4.3 %

JavaScript
4.3 %

Haskell
4.3 %

Nix
4.3 %
Location 🇳🇴 Norway
Country Total Rank 148
Country Ranking

Emacs Lisp
2

Nix
20

Clojure
42

CSS
56

Haskell
57

TeX
91

Ruby
176

Python
1,258

JavaScript
1,914

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

Project-Euler

My solutions to problems from https://projecteuler.net/

at

Execute command on remote machines with local files

org-bootstrap-document

A scheme for generating bootstrap HTML from Org mode

master

homebrew-maude

A brew formula for The Maude System

larstvei.github.io

sympaths

SymPaths: Symbolic Execution Meets Partial Order Reduction

nix-config

framed

emacskurs

A course in Emacs held for FUI at UiO

mode-line-in-header

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

SMT-for-IN3070

A short introduction to SMT solving

etype

A typing game for Emacs.

LK

An implementation of the LK system in Haskell

lambda-calc

ExoDPOR

ABS-traces

Doconce-mode

Major-mode for the Doconce markup language.

MAPS-spring-challange

ExoABS