k32's repositories
erlstack-mode
Minor mode for previewing code appearing in Erlang stack traces
occurx-mode
THIS IS A WORK OF FICTION AND NOT an advanced replacement for M-x occur
Language:Python000
Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
conver-old
[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
erlang_qq
Simple Erlang quasiquotation/splicing parse transform
Language:ErlangApache-2.0000
magit-classic
Fork of magit, frozen at the state that just worked for me
projectile
Project Interaction Library for Emacs
rather_fast_metrics
Counter and sliding average metrics for Erlang based on counters BIF
snabbkaffe
Collection of utilities for trace-based testing
Language:Erlang000