peterwvj Goto Github PK

.emacs.d

My emacs configuration

au-machine-learning-2018

This repository contains information about the Aarhus University Machine Learning PhD workshop

bibclean-format

Prettyprint and syntax BibTeX and Scribe using bibclean

counsel-mu4e

Search emails in mu4e asynchronously with ivy

cucumber-eclipse-update-site

Cucumber Eclipse Update Site

docker-nextcloud-collabora-postgresql-letsencrypt

Docker-compose based NextCloud installation with LetsEncrypt SSL, PostgreSQL backend, Collabora online office, supervisord cron

doom-emacs

An Emacs framework for the stubborn martian hacker

emacs.d

My Emacs configuration files

emacs.d-1

homeshick/homesick style directory for .emacs.d configuration

emacs.d-2

An Emacs configuration bundle with batteries included

eshell-up

Quickly go to a specific parent directory in eshell

files_texteditor

:page_facing_up: Text editor for plaintext files

fitness_tracker-docs

Publicly accessible documents related to the Fitness Tracker app

fitnessassistant

focused_menu-1

This is a repository for Flutter Focused Menu, an easy to implement package for adding Focused Long Press Menu to Flutter Applications

goto-line-preview

Preview line when executing `goto-line` command.

isar

Super Fast Cross Platform Database for Flutter & Web Apps

jupyter

Jupyter Notebook setup that assumes you have nginx-proxy and letsencrypt-nginx-proxy-companion running

naquadah-theme

Naquadah theme for Emacs

nextcloud

Docker-based Nextcloud setup with LetsEncrypt SSL, PostgreSQL backend, Collabora Online Office and preview generation

offlineimap-imapfilter-config

My OfflineIMAP and imapfilter configuration

openfoodfacts-dart

Open Food Facts API Wrapper

reformatter.el

Define commands which run reformatters on the current Emacs buffer

revision-letter

A LaTeX template for a journal revision letter (or cover letter)

security-analysis-vdm-model

This repository contains a copy of the VDM model used for security analysis of a cloud-connected industrial control system

tao-theme-emacs

tao-theme - two uncoloured color themes for EMACS

tlaplus_repl

A simple REPL for the TLA+ language, using the TLC model checker.

vdm-mode

Major mode for the Vienna Development Method

vdm-mode-playground

Run vdm-mode in an isolated environment

vdmj

Formal Modelling in VDM