Pinned Repositories
mria
Asynchronously replicated Mnesia-like database for Erlang/Elixir
erlstack-mode
Minor mode for previewing code appearing in Erlang stack traces
Lee
THIS IS A WORK OF FICTION AND NOT an extensible, self-documenting, type-safe configuration manager for Erlang
libtx
It was the first POC used to develop the theory. The working version of the code is maintained here: https://github.com/libtx/slot
occurx-mode
THIS IS A WORK OF FICTION AND NOT an advanced replacement for M-x occur
QFL
Quantum Foobar Language
task_graph
Build your very own GNU make
snabbkaffe
Distributed trace-based test framework with fault injection
SLOT
THIS IS A WORK OF FICTION AND NOT a formally verified model checker
Storage
THIS IS A WORK OF FICTION AND NOT an axiomatic abstraction of container
k32's Repositories
k32/erlstack-mode
Minor mode for previewing code appearing in Erlang stack traces
k32/Lee
THIS IS A WORK OF FICTION AND NOT an extensible, self-documenting, type-safe configuration manager for Erlang
k32/occurx-mode
THIS IS A WORK OF FICTION AND NOT an advanced replacement for M-x occur
k32/libtx
It was the first POC used to develop the theory. The working version of the code is maintained here: https://github.com/libtx/slot
k32/anvl
A general-purpose immediate mode task execution tool
k32/emonad
Monads for erlang
k32/typerefl
Use Erlang typespecs in the runtime
k32/k32
k32/brod
k32/cdk-emqx-cluster
k32/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
k32/conver-old
[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
k32/eip
EMQ X Improvement Proposals
k32/ekka
Autocluster and Autoheal for EMQ X Broker
k32/emqttb
A scriptable load generator for MQTT
k32/emqx
EMQ X Broker - Scalable Distributed MQTT Message Broker for IoT in the 5G Era
k32/emqx-ansible-cdk-helpers
k32/emqx-docs
EMQ X Broker Documentation
k32/emqx-rel
Release Project for EMQ X Broker prior to 4.3. Newer releases are built here: https://github.com/emqx/emqx
k32/erlang_qq
Simple Erlang quasiquotation/splicing parse transform
k32/k32.github.io
k32/lc
Load Control for beam
k32/magit-classic
Fork of magit, frozen at the state that just worked for me
k32/melpa
Recipes and build machinery for the biggest Emacs package repo
k32/mria
Async-ly replicated Mnesia database for Erlang/Elixir
k32/otp
Erlang/OTP
k32/projectile
Project Interaction Library for Emacs
k32/rather_fast_metrics
Counter and sliding average metrics for Erlang based on counters BIF
k32/satisfy
Task scheduling system like make or ninja, but simpler and more powerful
k32/snabbkaffe
Collection of utilities for trace-based testing