mgttlinger

biblatex-lncs

BiBLaTeX style for Springer Lecture Notes in Computer Science

arbtt

arbtt, the automatic rule-based time-tracker

Beamer-Theme-Execushares

A minimalist and modern Beamer theme

break-time

break timer that forces you to take a break

bundlers

carneades-4

Version 4 of Carneades, implemented in Go

catala

Programming language for literate programming law specification

emacs-overlay

Bleeding edge emacs overlay [maintainer=@adisbladis]

extensions

👅 Parse Haskell Language Extensions

fi-emacs

fzf

:cherry_blossom: A command-line fuzzy finder

lorri

Your project's nix-env

nix-bundle

Bundle Nix derivations to run anywhere!

nixpkgs

Nix Packages collection

onagre

A general purpose application launcher for X and wayland inspired by rofi/wofi and alfred

org-caldav

Caldav sync for Emacs orgmode

org-msg

OrgMsg is a GNU/Emacs global minor mode mixing up Org mode and Message mode to compose and reply to emails in a Outlook HTML friendly style.

org-ql

An Org-mode query language, including search commands and saved views

ormolu

A formatter for Haskell source code

ormolu.el

A formatter for Haskell source code

pandoc

Universal markup converter

pandoc-types

types for representing structured documents

password

datatypes and functions for easily working with passwords in Haskell

pgf

A Portable Graphic Format for TeX

plfa.github.io

Introduction to programming language theory in Agda

reflex-gadt-api

Interact with a JSON-serialized API defined by a GADT in your reflex-dom application

skim

Fuzzy Finder in rust!

static-haskell-nix

easily build most Haskell programs into fully static Linux executables

termonad

Terminal emulator configurable in Haskell.

wave-function-collapse

Wave function collapse procedural generation for arbitrary graphs