Discover @minad Open Source projects

Daniel Mendler (@minad)

minad

Stars
8,723
Global Rank 2,623 (Top 0.1 %)
Followers 1,151
Following 341
Registered almost 16 years ago
Most used languages

Haskell
30.0 %

Emacs Lisp
25.0 %

Ruby
12.5 %

C
7.5 %

JavaScript
3.8 %

Shell
3.8 %

Java
3.8 %

C++
2.5 %

Python
2.5 %

PHP
2.5 %

TeX
1.3 %

Verilog 1.3 %

Tcl 1.3 %

XSLT 1.3 %

LLVM 1.3 %
Location 🇩🇪 Germany
Country Total Rank 184
Country Ranking

Emacs Lisp
1

LLVM 9

Tcl 10

Haskell
22

Verilog 75

XSLT 111

TeX
137

Ruby
155

C
428

C++
1,607

Java
1,794

Shell
3,044

PHP
4,438

JavaScript
6,897

Python
7,998

org-modern

🦄 Modern Org Style

vertico

💫 vertico.el - VERTical Interactive COmpletion

consult

🔍 consult.el - Consulting completing-read

corfu

🏝️ corfu.el - COmpletion in Region FUnction

marginalia

📜 marginalia.el - Marginalia in the minibuffer

cape

🦸cape.el - Completion At Point Extensions

osm

🌍 osm.el - OpenStreetMap viewer for Emacs

tempel

🏛️ TempEl - Simple templates for Emacs

jinx

🪄 Enchanted Spell Checker

affe

🐒 affe.el - Asynchronous Fuzzy Finder for Emacs

lmdb

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

goggles

goggles.el - Pulse modified region

bibsync

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

paripari

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

hasklig-mode

hasklig-mode.el - Hasklig ligatures for emacs

gridslides

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

3delta

Host software especially suited for delta 3d printers

pacgem

Gem installer for Arch Linux

bookmark-view

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

osm2shp

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

consult-flycheck

Consult integration for Flycheck

chasm

Java Bytecode Assembler and Disassembler which uses S-expressions

tab-bookmark

Persist Emacs Tabs as Bookmarks

unit

Unit support for numbers

mini-popup

gitrb

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

recursion-indicator

Recursion indicator for the mode-line

henk

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

persist

Minimal binary serialization library with focus on performance

rack-embed

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

polyp

writer-cps-mtl

Stricter drop in replacements for WriterT and RWST

intro

Safe and minimal Haskell Prelude

writer-cps-transformers

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

wl-pprint-annotated

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

uchronia

uchronia.el - Rewrite the minibuffer history

tasty-stats

Collect statistics of your Tasty testsuite

tasty-auto

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

quickcheck-special

Edge cases and special values for QuickCheck Arbitrary instances

thinkpad-tools

Unmaintained: Some scripts used on my Thinkpad X60t

typohero

TypoHero enhances your typography

diascope

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

colorful-monoids

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

9mount

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

omega

distcc

evaluator

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

xosdbar

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

wl-pprint-console

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

andromeda.hs

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

mapgen

XCSoar Map Generator

vle

Verilog Experiments

console-style

Styled console text output using ANSI escape sequences

analyzer

Some tools for physics calculations

doxygen2adoc

Doxygen import for Asciidoc using XSLT and the Doxygen XML output

ihs

Interpolated Haskell

bigint-unboxed

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

special-values

hashtable

Hashtable in C with open addressing and specialization via macros

i3-config

qubes i3 configuration

TaskList

Mediawiki plugin which implements a task tracker

implant

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

hexns

Nameserver for IPv6 which resolves Hexspeak subdomains

emacs-theme

arch-packages

My arch pkbuilds

temple-mustache

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

encode-string

String encoding and decoding in Haskell

writer-cps-monads-tf

Stricter drop in replacements for WriterT and RWST

slim-examples

http://slim-lang.com/

imaginator

Unmaintained: Image generator for LaTex/graphviz source

safe-convert

Safe type conversions in Haskell

echoxul

echo2 java web app + xul (2006)

persist-state

strict-base

Strict versions of some standard Haskell data types

writer-cps-full

Stricter drop in replacements for WriterT and RWST

writer-cps-exceptions

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

grouptsp

Travelling salesman (2004)

pasty

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

arduino-pi-gefrickel

Arduino/Rasberry Pi Gefrickel - Arduino/Rasberry Pi Fiddling

intro-prelude

Reexport Intro as Prelude

os-experiment

simple i386 os with console and multithreading (2005)