Dspil

ETHZurich

Pinned Repositories

AutoMail
Addon for World of Warcraft 3.3.5 to open and loot all mail
Language:Lua0 1 00
Axiom-Profiler
Language:SMT00
BuyCheap
Auction House Addon for World of Warcraft (Wotlk, patch 3.3.5)
Language:Lua0 1 00
chaos-encryption
Language:Python01
compilers
Language:C0 0 10
FindReagents
Language:Lua0 1 00
fishing_bot
fishing bot for world of warcraft
Language:Python0 1 00
gobra-mode
Support for gobra verification tool
Language:Emacs Lisp0 1 01
imp-ts-mode
Language:Emacs Lisp00
text-categories
Assign text categories to a buffer for mass operations
Language:Emacs Lisp14 1 22

Dspil's Repositories

Dspil/text-categories
Assign text categories to a buffer for mass operations
Language:Emacs Lisp14 1 22
Dspil/AutoMail
Addon for World of Warcraft 3.3.5 to open and loot all mail
Language:Lua0 1 00
Dspil/Axiom-Profiler
Language:SMT00
Dspil/BuyCheap
Auction House Addon for World of Warcraft (Wotlk, patch 3.3.5)
Language:Lua0 1 00
Dspil/chaos-encryption
Language:Python01
Dspil/compilers
Language:C0 0 10
Dspil/FindReagents
Language:Lua0 1 00
Dspil/fishing_bot
fishing bot for world of warcraft
Language:Python0 1 00
Dspil/gobra-mode
Support for gobra verification tool
Language:Emacs Lisp0 1 01
Dspil/imp-ts-mode
Language:Emacs Lisp00
Dspil/melpa
Recipes and build machinery for the biggest Emacs package repo
Language:Emacs Lisp0 0 00
Dspil/processing_projects
Game in processing
Language:Processing00
Dspil/scion
SCION Internet Architecture
Language:Go0 0 00
Dspil/word-blitz
Language:Python0 1 00
Dspil/lustre-mode
LUSTRE-MODE is a major Emacs mode for editing Lustre.
Language:Emacs Lisp
Dspil/vpr-mode
Language highlighting for viper
Language:Emacs Lisp1 0