mgttlinger Goto Github PK

arbtt

arbtt, the automatic rule-based time-tracker

arguedit

ArguEdit is a graphical argument transciption and editing software written in haskell. It is part of a masters thesis at Freie Universität Berlin as well as further evidence that haskell can in deed be used for real life graphical applications.

awesome-emacs

A community driven list of useful Emacs packages, libraries and others.

bat

A cat(1) clone with wings.

beamer-theme-execushares

A minimalist and modern Beamer theme

biblatex-lncs

BiBLaTeX style for Springer Lecture Notes in Computer Science

break-time

break timer that forces you to take a break

bundlers

carneades-4

Version 4 of Carneades, implemented in Go

cats

Lightweight, modular, and extensible library for functional programming.

circe

Yet another JSON library for Scala

codejam-helpers

My personal helper library for Google CodeJam

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dash-haskell

dash docset builder for Haskell packages and cabal project dependencies

dgdl

The Dialogue Game Description Language (DGDL)

docker-proofgeneral-coq

Proof General and Coq in a container

emacs-langtool

LanguageTool for Emacs

emacs-scala-mode

The definitive scala-mode for emacs (scala-mode2 on MELPA)

ensime-refactoring-bug-poc

Minimal project to demonstrate a possible ensime refactoring bug

ensime.github.io

ENSIME Documentation

exa

Replacement for 'ls' written in Rust.

exercises-shapeless

Scala Exercises' lessons for the Shapeless library

extensions

👅 Parse Haskell Language Extensions

fi-emacs

fzf

:cherry_blossom: A command-line fuzzy finder

grakn

The Knowledge Graph

haddocset

Generate docset of Dash by Haddock haskell documentation tool

haskell-code-explorer

Web application for exploring and understanding Haskell codebases

hatex

The Haskell LaTeX library.

helm-bibtex

Search and manage bibliographies in Emacs