k32's repositories

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

Language:ErlangLicense:UnlicenseStargazers:15Issues:2Issues:5

occurx-mode

THIS IS A WORK OF FICTION AND NOT an advanced replacement for M-x occur

Language:Emacs LispLicense:GPL-3.0Stargazers:4Issues:2Issues:0

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

anvl

A general-purpose non-opinionated task execution tool

Language:ErlangLicense:LGPL-3.0Stargazers:2Issues:2Issues:0

emonad

Monads for erlang

Language:ErlangLicense:Apache-2.0Stargazers:2Issues:3Issues:0
Language:CSSStargazers:1Issues:1Issues:0

typerefl

Use Erlang typespecs in the runtime

Language:ErlangLicense:UnlicenseStargazers:1Issues:2Issues:0
Language:ErlangStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:0Issues:0

Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

Language:ErlangStargazers:0Issues:1Issues:0

conver-old

[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.

Language:ErlangStargazers:0Issues:1Issues:0

eip

EMQ X Improvement Proposals

Language:MakefileStargazers:0Issues:1Issues:0

ekka

Autocluster and Autoheal for EMQ X Broker

Language:ErlangStargazers:0Issues:1Issues:0

emqttb

A scriptable load generator for MQTT

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:1Issues:0

emqx

EMQ X Broker - Scalable Distributed MQTT Message Broker for IoT in the 5G Era

Language:ErlangStargazers:0Issues:1Issues:0
Language:ShellStargazers:0Issues:1Issues:0

emqx-docs

EMQ X Broker Documentation

Language:PythonStargazers:0Issues:1Issues:0

emqx-rel

Release Project for EMQ X Broker prior to 4.3. Newer releases are built here: https://github.com/emqx/emqx

Language:ShellStargazers:0Issues:1Issues:0

erlang_qq

Simple Erlang quasiquotation/splicing parse transform

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:CSSStargazers:0Issues:1Issues:0

lc

Load Control for beam

Stargazers:0Issues:1Issues:0

magit-classic

Fork of magit, frozen at the state that just worked for me

Stargazers:0Issues:1Issues:0

melpa

Recipes and build machinery for the biggest Emacs package repo

Language:Emacs LispStargazers:0Issues:1Issues:0

mria

Async-ly replicated Mnesia database for Erlang/Elixir

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:1Issues:0

otp

Erlang/OTP

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:1Issues:0

projectile

Project Interaction Library for Emacs

Language:Emacs LispStargazers:0Issues:1Issues:0

rather_fast_metrics

Counter and sliding average metrics for Erlang based on counters BIF

Stargazers:0Issues:2Issues:0

satisfy

Task scheduling system like make or ninja, but simpler and more powerful

Language:SchemeLicense:GPL-3.0Stargazers:0Issues:2Issues:0

snabbkaffe

Collection of utilities for trace-based testing

Language:ErlangStargazers:0Issues:0Issues:0