Mutable directed graph
Constraint Programming Solver
SAT Solver
Mutable data structures
Clone of redbug
Replbug is an addition to Rexbug that allows to inspect Erlang VM traces as variables in IEx
Elixir/Erlang interface to MiniZinc (https://www.minizinc.org/).