larstvei/framed

Stars
2
Language
Clojure
Created about 2 years ago
Updated almost 2 years ago

larstvei/framed

larstvei

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 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

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