minad Goto Github PK

.github

3delta

Host software especially suited for delta 3d printers

9mount

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

affe

:monkey: affe.el - Asynchronous Fuzzy Finder for Emacs

analyzer

Some tools for physics calculations

andromeda.hs

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

annotated-wl-pprint

A variant of the Wadler-Leijen pretty-printer that allows arbitrary semantic annotations

arch-packages

My arch pkbuilds

arduino-pi-gefrickel

Arduino/Rasberry Pi Gefrickel - Arduino/Rasberry Pi Fiddling

asciidoctest

avy

Jump to things in Emacs tree-style

bibsync

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

bibtex-ruby

bigint-unboxed

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

binary-orphans

Orphan instances for binary

bookmark-view

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

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

bpfasm

bpfasm from linux kernel with support for literals

cape

🦸cape.el - Completion At Point Extensions

cayenne

Resurrecting Lennart Augustsson's implementation of Cayenne

chasm

Java Bytecode Assembler and Disassembler which uses S-expressions

citar

A package to quickly find and act on BibTeX, BibLaTeX and CSL JSON entries using default Emacs completion; especially Selectrum/Vertico with Consult and Embark.

colorful-monoids

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

console-style

Styled console text output using ANSI escape sequences

consult

:mag: consult.el - Consulting completing-read

consult-dir

consult-flycheck

Consult integration for Flycheck

corfu

:desert_island: corfu.el - COmpletion in Region FUnction

creole

Creole 1.0 to XHTML converter written in ruby

crts

Bytecode interpreter and runtime system