-
Karlsruhe Institute of Technology
- Germany
- http://formal.iti.kit.edu/~weigl/
- https://orcid.org/0000-0001-8446-4598
Lists (6)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- D
- Emacs Lisp
- Erlang
- F*
- FreeMarker
- Go
- Groovy
- HTML
- Haml
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- OCaml
- PHP
- Perl
- Python
- Racket
- Roff
- Ruby
- Rust
- SMT
- SWIG
- Scala
- Scheme
- Shell
- TSQL
- TeX
- TypeScript
- Vala
- Verilog
- Vim Script
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
An Emacs framework for the stubborn martian hacker
Project Interaction Library for Emacs
The Clojure Interactive Development Environment that Rocks for Emacs
On the fly syntax checking for GNU Emacs
Modular in-buffer completion framework for Emacs
Minor mode for Emacs that deals with parens pairs and tries to be smart about it.
Emacs mode for the Go programming language
Emacs extension to increase selected region by semantic units.
A very minimal but elegant emacs (I think)
The long lost Emacs string manipulation library.
The Zenburn colour theme ported to Emacs
Emacs package for highlighting uncommitted changes
A Collection of Ridiculously Useful eXtensions for Emacs
Emacs support for the Clojure(Script) programming language
A powerful and beautiful mode-line for Emacs.