Discover @minad Open Source projects

Daniel Mendler (@minad)

minad

Stars
8,723
Global Rank 2,512 (Top 0.09 %)
Followers 1,151
Following 341
Registered over 15 years ago
Most used languages

Haskell
30.0 %

Emacs Lisp
25.0 %

Ruby
12.5 %

C
7.5 %

Java
3.8 %

JavaScript
3.8 %

Shell
3.8 %

PHP
2.5 %

C++
2.5 %

Python
2.5 %

XSLT 1.3 %

Tcl 1.3 %

Verilog 1.3 %

LLVM 1.3 %

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

Emacs Lisp
1

LLVM 9

Tcl 9

Haskell
23

Verilog 69

XSLT 88

TeX
132

Ruby
156

C
420

C++
1,543

Java
1,766

Shell
2,963

PHP
4,312

JavaScript
6,854

Python
8,005

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

9mount

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

colorful-monoids

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

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

mapgen

XCSoar Map Generator

andromeda.hs

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

ihs

Interpolated Haskell

vle

Verilog Experiments

console-style

Styled console text output using ANSI escape sequences

doxygen2adoc

Doxygen import for Asciidoc using XSLT and the Doxygen XML output

analyzer

Some tools for physics calculations

bigint-unboxed

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

i3-config

qubes i3 configuration

special-values

hashtable

Hashtable in C with open addressing and specialization via macros

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)