Discover minad/polyp Open Source project by Daniel Mendler (@minad)

💫 vertico.el - VERTical Interactive COmpletion

1,344

vertico

🔍 consult.el - Consulting completing-read

1,344

consult

🏝️ corfu.el - COmpletion in Region FUnction

1,088

corfu

📜 marginalia.el - Marginalia in the minibuffer

1,000

marginalia

🦸cape.el - Completion At Point Extensions

762

cape

🌍 osm.el - OpenStreetMap viewer for Emacs

533

osm

🏛️ TempEl - Simple templates for Emacs

496

tempel

🪄 Enchanted Spell Checker

464

jinx

🐒 affe.el - Asynchronous Fuzzy Finder for Emacs

328

affe

Ruby bindings for the OpenLDAP's Lightning Memory-Mapped Database (LMDB)

202

lmdb

105

goggles

goggles.el - Pulse modified region

BibSync is a tool to synchronize scientific papers and bibtex bibliography files

bibsync

Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)

paripari

hasklig-mode.el - Hasklig ligatures for emacs

hasklig-mode

LaTeX package to create free form slides with blocks placed on a grid

gridslides

TeX

3delta

Host software especially suited for delta 3d printers

Tcl

pacgem

Gem installer for Arch Linux

bookmark-view.el - Use bookmarks to persist the current view

bookmark-view

Convert large OpenStreetMap files to shapefiles (Uses sqlite3 db as temporary storage)

osm2shp

C++

consult-flycheck

Consult integration for Flycheck

Java Bytecode Assembler and Disassembler which uses S-expressions

chasm

Java

tab-bookmark

Persist Emacs Tabs as Bookmarks

unit

Unit support for numbers

mini-popup

Unmaintained: Simple git implementation in ruby similar to grit, based on git_store

gitrb

Recursion indicator for the mode-line

recursion-indicator

pure type system language - henk 2000 ported to megaparsec, pretty

henk

Minimal binary serialization library with focus on performance

persist

Rack middleware which embeds small images as base64 data-url in css/html files if the browser supports it

rack-embed

Stricter drop in replacements for WriterT and RWST

writer-cps-mtl

Safe and minimal Haskell Prelude

intro

Compatibility package for old transformers: Stricter drop in replacements for WriterT and RWST

writer-cps-transformers

Wadler/Leijen pretty printer with annotations and API conforming to modern Haskell

wl-pprint-annotated

uchronia.el - Rewrite the minibuffer history

uchronia

Collect statistics of your Tasty testsuite

tasty-stats

Deprecated: Auto discovery for the Tasty test framework, use tasty-discover instead

tasty-auto

Edge cases and special values for QuickCheck Arbitrary instances

quickcheck-special

Unmaintained: Some scripts used on my Thinkpad X60t

thinkpad-tools

Python

typohero

TypoHero enhances your typography

Unmaintained: S5: A Simple Standards-Based Slide Show System. Alternative implementation using jquery

diascope

JavaScript

colorful-monoids

colorful-monoids: Styled console text output using ANSI escape sequences

Unmaintained fork of http://sqweek.dnsdojo.org/hg/9mount

9mount

omega

Mathematical expression evaluator for infix notation. Supports variables and functions.

distcc

distcc scripts

evaluator

show osd on X11, similar to osd_cat but with update support

xosdbar

wl-pprint-console

Wadler/Leijen pretty printer with annotations and support for colorful console output

This is a direct port of Andrej Bauer's dependent type theory implementation from OCaml to Haskell

andromeda.hs

mapgen

vle

console-style

Styled console text output using ANSI escape sequences

Some tools for physics calculations

analyzer

C++

doxygen2adoc

Doxygen import for Asciidoc using XSLT and the Doxygen XML output

XSLT

ihs

Interpolated Haskell

LLVM

bigint-unboxed

JavaScript big integers with support for ES6 BigInt and unboxed small integers

JavaScript

special-values

Hashtable in C with open addressing and specialization via macros

hashtable

i3-config

qubes i3 configuration

Shell

TaskList

Mediawiki plugin which implements a task tracker

PHP

implant

Linux from scratch package manager using symlinks - similar to GoboLinux (2008)

Shell

hexns

Nameserver for IPv6 which resolves Hexspeak subdomains

emacs-theme

Temple-based implementation of Mustache (Just a finger exercises to test temple)

arch-packages

My arch pkbuilds

Shell

temple-mustache

String encoding and decoding in Haskell

encode-string

Stricter drop in replacements for WriterT and RWST

writer-cps-monads-tf

slim-examples

http://slim-lang.com/

Unmaintained: Image generator for LaTex/graphviz source

imaginator

Safe type conversions in Haskell

safe-convert

echo2 java web app + xul (2006)

echoxul

Java

persist-state

Strict versions of some standard Haskell data types

strict-base

Stricter drop in replacements for WriterT and RWST

writer-cps-full

Control.Monad.Catch instances for CPS WriterT and RWST monad transformers

writer-cps-exceptions

Travelling salesman (2004)

grouptsp

Java

pasty

easy to deploy, single file, under 50 line, command line pastebin

PHP

arduino-pi-gefrickel

Arduino/Rasberry Pi Gefrickel - Arduino/Rasberry Pi Fiddling

JavaScript

intro-prelude

Reexport Intro as Prelude