-
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
14
stars
written in Shell
Clear filter
๐ A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, pythonโฆ
Bring data to life with SVG, Canvas and HTML. ๐๐๐
A collection of ZSH frameworks, plugins, themes and tutorials.
A pandoc LaTeX template to convert markdown files to PDF or LaTeX.
AVH Edition of the git extensions to provide high-level repository operations for Vincent Driessen's branching model
Tmuxify your Tmux. Powerful session, window & pane management for Tmux.
LaTeX snippets for use with the yasnippet Emacs plugin