Pinned Loading

1. libtx/SLOT libtx/SLOT Public

   THIS IS A WORK OF FICTION AND NOT a formally verified model checker

   Coq 1 2

2. libtx/Storage libtx/Storage Public

   THIS IS A WORK OF FICTION AND NOT an axiomatic abstraction of container

   Rocq Prover 1

3. emqx/mria emqx/mria Public

   Asynchronously replicated Mnesia-like database for Erlang/Elixir

   Erlang 148 25

4. kafka4beam/snabbkaffe kafka4beam/snabbkaffe Public

   Distributed trace-based test framework with fault injection

   Erlang 38 9

5. Lee Lee Public

   THIS IS A WORK OF FICTION AND NOT an extensible, self-documenting, type-safe configuration manager for Erlang

   Erlang 19 1

6. occurx-mode occurx-mode Public

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

   Emacs Lisp 4 1