Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Emacs Request | 562 | a year ago | 6 | gpl-3.0 | Emacs Lisp | |||||
Request.el -- Easy HTTP request for Emacs Lisp | ||||||||||
Cedille | 305 | 3 years ago | 46 | other | Agda | |||||
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations | ||||||||||
Color Theme Tangotango | 146 | 2 years ago | Emacs Lisp | |||||||
An emacs color theme based on the tango palette colors | ||||||||||
Evil Easymotion | 115 | 4 years ago | 4 | Emacs Lisp | ||||||
:fast_forward: A port of vim easymotion to Emacs' evil-mode | ||||||||||
Lambda Launcher | 71 | 2 years ago | 5 | unlicense | Haskell | |||||
Application launcher in haskell. Mostly Just For Fun. | ||||||||||
Agda Summer School | 57 | 4 years ago | Agda | |||||||
Summer school on programming in Agda | ||||||||||
Fn.el | 25 | 3 years ago | 1 | gpl-3.0 | Emacs Lisp | |||||
Concise anonymous functions for Emacs Lisp | ||||||||||
Fn | 19 | 2 years ago | 7 | other | Common Lisp | |||||
A couple of lambda shorthand macros | ||||||||||
Mouse Copy | 19 | 6 years ago | 1 | other | Emacs Lisp | |||||
LispM/MCL style one-click mouse copy for GNU Emacs | ||||||||||
Aozora Proc | 17 | 13 years ago | Emacs Lisp | |||||||
青空文庫プロセッサ。青空文庫の注記記法チェッカ&HTML等へのコンバータ |